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: Ray Satiro via curl-library <curl-library_at_lists.haxx.se>
Date: Thu, 26 May 2022 04:12:15 -0400
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
Date: Thu, 26 May 2022 04:12:15 -0400
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.htmlReceived on 2022-05-26