HackerTrans
TopNewTrendsCommentsPastAskShowJobs

wbronchart

no profile record

comments

wbronchart
·5 yıl önce·discuss
Yeah, you'll find endless threads on github issues of people complaining Github doesn't have this yet. It's a real pain
wbronchart
·5 yıl önce·discuss
I 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/