Re: Mergify is no longer auto closing personal Github PRs

Michael D Kinney

Hi Rebecca,

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.


-----Original Message-----
From: Rebecca Cran <rebecca@...>
Sent: Tuesday, October 5, 2021 8:24 AM
To:; Leif Lindholm <leif@...>; Kinney, Michael D <michael.d.kinney@...>; Andrew Fish
Subject: Mergify is no longer auto closing personal Github PRs

I noticed that Mergify is no longer auto closing personal builds: for
example is still open.

Compare that to where
mergify commented "All checks passed. Auto close personal build."


Rebecca Cran

Join to automatically receive all group messages.