How to undo a merge
Undoing a merge today means reverting it on the code host. Mergepace doesn't revert by itself yet.
Revert it on GitHub
- Open the merged pull request on GitHub.
- Press Revert. GitHub opens a new pull request that undoes the change.
- Merge that pull request. Mergepace sees it as a normal pull request and applies the usual merge rules to it.
Before you revert, pause everything (see How to pause everything) if an agent might start work on top of the change while you do it. Resume once main is green again.
Coming with #1017: an Undo this merge button on the pull request's page that opens the revert for you. Coming with #1018: an opt-in setting that reverts a Mergepace merge by itself when it breaks main. This page changes when they land.