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 UR

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/10339e774e92e57f44efae8d50e2e5c7476c8f0e https://github.com/traject/traject/commit/10339e774e92e57f44...