61048c3cc1
PRs now wait for a maintainer merge instead of the automerge label squash-merging when CI is green.
PRs now wait for a maintainer merge instead of the automerge label squash-merging when CI is green.