News for hackers. Stuff that matters.

A comment on Why curl closes PRs on GitHub. Parent comment

Re:Why curl closes PRs on GitHub by corytheboyd on Wednesday June 12, 2024 @10:42AM (#40658749)
They explicitly call out not wanting to do this in the blog post.
[ Parent | on HN ]
Re:Why curl closes PRs on GitHub by rany_ on Wednesday June 12, 2024 @11:24AM (#40659149)
I didn't notice that they were referring to that feature, it's too late to delete my comment now...
[ Parent | on HN ]
Re:Why curl closes PRs on GitHub by corytheboyd on Wednesday June 12, 2024 @11:54AM (#40659527)
No worries, I won’t tell anyone :p
[ Parent | on HN ]