|
|
|
|
|
|
by jrochkind1
1665 days ago
|
|
|
I don't think I understand what "squashing PR branches" means (a github feature I haven't noticed?), but: > The real benefit here is that Github puts the PR URL into the squashed commit message. While not in the commit message, github will show you the PR a commit is part of in it's commit view regardless, also for every commit in a PR whether it's one commit or 50. Which I do find invaluable for tracing the documentation of a change, agreed! Not everyone knows about this feature (I don't think it's been there forever) in github UI. Eg notice the `#279` included in this github commit UI display (the PR was, I'm pretty sure, not "squashed"). https://github.com/traject/traject/commit/10339e774e92e57f44... |
|
|