wbronchart·5 lat temu·discussYeah, you'll find endless threads on github issues of people complaining Github doesn't have this yet. It's a real pain
wbronchart·5 lat temu·discussI love clean linear history, but I don't like squash&merge, and I don't like the other options that the github interface gives you either.Plug: I wrote a script recently that merges github pull requests but preserves linear git history (basically, rebase + merge)https://pypi.org/project/git-pr-linear-merge/