3 ms·
Me neither, not since I got bitten by the 'Resolve Conflicts' button on the PR page also merging the PR into the target branch. Maybe it's PEBCAC, and to be fa
by leegraham 6y ago
Me neither, not since I got bitten by the 'Resolve Conflicts' button on the PR page also merging the PR into the target branch.
Maybe it's PEBCAC, and to be fair it is documented[0], but the big red warning in the docs is missing from the page where you actually do the action. To make it more confusing there's also a disabled 'Merge pull request' button that implies that resolving the conflicts and merging the PR are separate actions
0: https://docs.github.com/en/free-pro-team@latest/github/collaborating-with-issues-and-pull-requests/resolving-a-merge-conflict-on-github https://docs.github.com/en/free-pro-team@latest/github/colla...