Buy commercial curl support from WolfSSL. We help you work
out your issues, debug your libcurl applications, use the API, port to new
platforms, add new features and more. With a team lead by the curl founder
himself.
Re: Which PRs should we merge?
- Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]
From: Daniel Stenberg via curl-library <curl-library_at_lists.haxx.se>
Date: Thu, 2 Jun 2022 08:24:23 +0200 (CEST)
On Tue, 24 May 2022, Daniel Stenberg via curl-library wrote:
> Here's a thought: what if we create a new label, say "needs-votes" (exact
> name to be decided) that we can set on PRs that we feel have not yet been
> clearly indicated as "desired by the community".
Here:
https://github.com/curl/curl/labels/needs-votes
Date: Thu, 2 Jun 2022 08:24:23 +0200 (CEST)
On Tue, 24 May 2022, Daniel Stenberg via curl-library wrote:
> Here's a thought: what if we create a new label, say "needs-votes" (exact
> name to be decided) that we can set on PRs that we feel have not yet been
> clearly indicated as "desired by the community".
Here:
https://github.com/curl/curl/labels/needs-votes
-- / daniel.haxx.se | Commercial curl support up to 24x7 is available! | Private help, bug fixes, support, ports, new features | https://curl.se/support.html -- Unsubscribe: https://lists.haxx.se/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.htmlReceived on 2022-06-02