3 ms·
You can't merge a branch that is even with another.
by MapleWalnut 8y ago
You can't merge a branch that is even with another.
- jolmg 8y agoWell, sites like GitHub could be designed so the PR appears as merged from the beginning and then enabling the "merge" button, once more commits are available. Doing it this way also allows to naturally support merging a PR/MR more than once, which I don't know if it's undesirable, but it more closely aligns with what git supports.