3 ms·
IIRC, you just need a commit different in order to open a PR with github. To make an empty commit: git commit --allow-empty -m 'Empty commit so I can open
by nmjohn 8y ago
IIRC, you just need a commit different in order to open a PR with github. To make an empty commit:
git commit --allow-empty -m 'Empty commit so I can open a PR'
- darkerside 8y agoI thought Github looked for an actual code difference in the PR creation process, but it seems you're correct! Thanks for the tip.
- jolmg 8y agoIs that even necessary? I would have thought that simply making the branch and pushing it while it's on the same commit as the branch you're branching from would be enough.
- MapleWalnut 8y agoYou 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.