We used to rely on miss-islington’s automatic merging functionality for a long while. We thank her for her service. Today we’re switching to GitHub’s built-in auto-merge functionality. You can expect it to be much more eager to auto-merge PRs. Maybe even a little too eager!
miss-islington will no longer merge any PRs – neither her own backport PRs, nor PRs by other people that have the
automerge label. (The
automerge label has now been removed.)
To enable auto-merge on a PR
- Click on the gray “Enable auto-merge” button at the bottom of the PR.
To disable auto-merge on a PR
- Click on the gray “Disable auto-merge” button at the bottom of the PR.
To pause auto-merge on a PR
- Apply a
- Submit a review requesting changes (red).
Note the difference between disabling automerge entirely, and pausing automerge using the labels. If
DO-NOT-MERGE gets removed, auto-merge will resume. If the red review gets addressed, auto-merge will resume.
This is all covered in the Dev Guide: