TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Why curl closes PRs on GitHub

76 pointsby TangerineDream12 months ago

10 comments

ryukoposting12 months ago
Interesting. I made some contributions to the Zephyr RTOS project early this year, and they had a different approach to the same problems.<p>It seems like Curl makes it the maintainers&#x27; job to do the rebasing and commit-style corrections. Zephyr, on the other hand, put it on the pull request&#x27;s creator. I ended up force-pushing and rebasing half a dozen times because I had to learn all their rules the hard way.<p>I don&#x27;t think either method is necessarily better than the other - it depends on the project. Zephyr&#x27;s approach lets the maintainers focus on more important things than commit-style yak shaving, while curl&#x27;s approach lowers the barrier to entry for inexperienced contributors.
评论 #40649534 未加载
评论 #40659064 未加载
giancarlostoro12 months ago
I was working at a company that hired a lot of people new to dev. So one guy, comes to us saying his commits arent matching the standard they want. I see his commits, and I see like 50 of them that just say stuff like &quot;fixing the bug&quot;, &quot;finally fixing the bug&quot;, I tried to tell him, try to describe what the code is changing &#x2F; doing with this commit as if you had to explain it to you mom. He gave me a look like I was crazy and proceeded to ask someone else for help. I assume he&#x27;s still committing with awful messaging that matches their desired format.
rezonant12 months ago
I think the big take away is that GitHub should add a &quot;Merges #X&quot; feature similar to Closes #X as Daniel suggests.<p>An additional problem with closing a pull request instead of &quot;purple merging&quot; it is that it gives off the wrong end result when you view the pull request from the pull requests view, as an activity comment in a related issue, or by viewing the top of a pull request. Red should mean change rejected and purple should mean change accepted, regardless of the mechanism by which the code was accepted.
fahhem11 months ago
Is the issue just that the commit messages aren&#x27;t considered important in Github&#x27;s UI? There&#x27;s a few tools that do this better, notable Reviewable.io makes the commit message(s) into a virtual file that can be commented on.<p>Disclosure: I used to work at Reviewable
gus_massa12 months ago
From time to time I merge PR in Racket, and they need a rebase or a tiny tweak. In those case I post a closing comment like<p>&gt; <i>Thanks! Merged in 67b421.</i><p>So the author can find the final version merge in the main branch.
zabil12 months ago
I set up GitHub to squash and merge commits by default, and to use the pull request title and description as the commit message instead of the individual commit messages. Won&#x27;t that be helpful here?
评论 #40645597 未加载
graton12 months ago
I&#x27;m glad to see someone else annoyed that GitHub doesn&#x27;t allow commenting on the commit messages directly. One of the things I miss from Gerrit.
MaskRay11 months ago
For people who prefer rebase and force push, <a href="https:&#x2F;&#x2F;getcord.github.io&#x2F;spr&#x2F;" rel="nofollow">https:&#x2F;&#x2F;getcord.github.io&#x2F;spr&#x2F;</a> is a great tool resembling Phabricator&#x27;s `arc diff`.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;orgs&#x2F;community&#x2F;discussions&#x2F;3478">https:&#x2F;&#x2F;github.com&#x2F;orgs&#x2F;community&#x2F;discussions&#x2F;3478</a> (&quot;Improve workflow when force-pushing during code reviews&quot;) could use more support.<p>I&#x27;ve also got lots of complaints in this section when LLVM switched to GitHub PR: <a href="https:&#x2F;&#x2F;maskray.me&#x2F;blog&#x2F;2023-09-09-reflections-on-llvm-switch-to-github-pull-requests#patch-evolution" rel="nofollow">https:&#x2F;&#x2F;maskray.me&#x2F;blog&#x2F;2023-09-09-reflections-on-llvm-switc...</a>
rany_12 months ago
Couldn&#x27;t they just edit the PR branch directly? When I make PRs I have an option &quot;Allow edits by maintainers&quot; which I assume would give them write access to my branch?<p>Edit: &quot;We COULD but we won’t&quot; actually addresses that, but it just wasn&#x27;t obvious to me that they were referring to that feature. I can&#x27;t delete this comment anymore.
评论 #40658749 未加载
评论 #40664077 未加载
7bit12 months ago
&gt; In order to make sure the commit message are correct, and in fact that the entire commit looks correct, we merge pull requests manually.<p>I thought maintainers can edit pull request? Why is that not used here?<p>The also say they don&#x27;t want GitHub dictating them how to use git. I&#x27;d say, don&#x27;t use GitHub then. Not pulling someones PR also means he does not get any public attribution to it. He doesn&#x27;t show up as a contributor, too. I find that problematic and would say, there are simple ways around all the issues that have been listed, but the maintainers are just too stubborn to implement them.
评论 #40644979 未加载
评论 #40645711 未加载
评论 #40645506 未加载
评论 #40645012 未加载