curl / Mailing Lists / curl-library / Single Mail
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?

From: Christian Schmitz via curl-library <curl-library_at_lists.haxx.se>
Date: Tue, 24 May 2022 17:21:26 +0200

> Am 24.05.2022 um 17:08 schrieb Daniel Stenberg via curl-library <curl-library_at_lists.haxx.se>:
>
> Hi friends,
>
> 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".

Good idea.

> Such PRs will need, let's say 5 (to start off conservatively), thumbs-up votes on GitHub before they can be merged. That way we presumably know that at least 5 "separate" users want the feature in curl. We could of course also allow thumbs-down for "I really don't think this should be merged".

Also fine.

But on the long run the more active people in the project should think about what they want to pick up and carry on over the next years.

Best regards,
Christian

-- 
Unsubscribe: https://lists.haxx.se/listinfo/curl-library
Etiquette:   https://curl.haxx.se/mail/etiquette.html
Received on 2022-05-24