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: Gilles Vollant via curl-library <curl-library_at_lists.haxx.se>
Date: Thu, 26 May 2022 10:26:41 +0200

I think https://github.com/curl/curl/pull/8419 is very important.
If original author cannot do the latest change, pehaps another maintainer
can help

Regards
Gilles Vollant

-----Message d'origine-----
De : curl-library <curl-library-bounces_at_lists.haxx.se> De la part de Ray
Satiro via curl-library
Envoyé : jeudi 26 mai 2022 10:12
À : curl-library_at_lists.haxx.se
Cc : Ray Satiro <raysatiro_at_yahoo.com>
Objet : Re: Which PRs should we merge?

On 5/25/2022 4:01 AM, Daniel Stenberg wrote:
> There are times when the PR seems fine and I'm on the fence about it.
> I would prefer to have a more organized way to handle them. And a way
> for everyone to find those PRs and chime in on them.
>
> Let me give you three current examples:


Sure, I understand they could use more exposure. As you know we have a few
fine PRs that are mothballed [1] though I'm skeptical given the feedback (or
lack thereof) that I would change my mind about most of them.


[1]: https://github.com/curl/curl/issues?q=label%3Amothballed

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