Mergify is no longer auto closing personal Github PRs
Michael D Kinney
Hi Rebecca,toggle quoted message Show quoted text
Yes. This is the new behavior after changes were added in July 9, 2021.
.mergify: Simplify Mergify rules using GitHub status checks
* Enable Mergify queue feature to support auto rebase when
'push' label is set and gauarntee that all EDK II CI checks
are run before merging in changes with linear history.
* Use status checks configured in GitHub branch protections
* Allow non EDK II Maintainers to create a PR
Requires an EDK II Maintainer to accept the change and
request merge by adding 'push' label. Only EDK II Maintainers
have ability to set/clear labels.
* Do not automatically close PRs for personal builds.
Cc: Liming Gao <gaoliming@...>
Cc: Sean Brogan <sean.brogan@...>
Cc: Bret Barkelew <Bret.Barkelew@...>
Signed-off-by: Michael D Kinney <michael.d.kinney@...>
Acked-by: Bret Barkelew <bret.barkelew@...>
Reviewed-by: Liming Gao <gaoliming@...>
Developers that submit personal builds are responsible for closing
them if they are no longer required. This allows the same PR to be
used if the developer wants to fix issues on the same branch.
We will likely have to do periodic review to close PRs that are left
open for an extended period of time.