wbronchart

5 ปีที่แล้วdiscuss

Yeah, you'll find endless threads on github issues of people complaining Github doesn't have this yet. It's a real pain

5 ปีที่แล้ว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/

wbronchart

6 ปีที่แล้วdiscuss

If others have to consistently work overtime to cover for others, wouldn't it make sense to hire more? It's going to take some time for things to get back to normal.

comments