Reviewed-by: Liming Gao <gaolim...@byosoft.com.cn> > -----邮件原件----- > 发件人: devel@edk2.groups.io <devel@edk2.groups.io> 代表 Michael D > Kinney > 发送时间: 2021年7月8日 11:49 > 收件人: devel@edk2.groups.io > 抄送: Sean Brogan <sean.bro...@microsoft.com>; Bret Barkelew > <bret.barke...@microsoft.com>; Liming Gao <gaolim...@byosoft.com.cn>; > Bob Feng <bob.c.f...@intel.com>; Yuwei Chen <yuwei.c...@intel.com> > 主题: [edk2-devel] [Patch 0/3] Mergify Enhancements > > * Removed FINISHED and FAILED states with 10 second delays > * Update PatchCheck.py to ignore commit message format issues > in merge commeits added by Merfigy. > * 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: Sean Brogan <sean.bro...@microsoft.com> > Cc: Bret Barkelew <bret.barke...@microsoft.com> > Cc: Liming Gao <gaolim...@byosoft.com.cn> > Cc: Bob Feng <bob.c.f...@intel.com> > Cc: Yuwei Chen <yuwei.c...@intel.com> > Signed-off-by: Michael D Kinney <michael.d.kin...@intel.com> > > Michael D Kinney (3): > BaseTools/Scripts: Ignore Mergify merge commits in PatchCheck.py > .mergify: Simplify Mergify rules using GitHub status checks > .azurepipelines: Remove FINISHED and FAILED states > > .../templates/pr-gate-build-job.yml | 20 ------ > .mergify/config.yml | 71 ++++--------------- > BaseTools/Scripts/PatchCheck.py | 18 +++-- > 3 files changed, 24 insertions(+), 85 deletions(-) > > -- > 2.32.0.windows.1 > > > > >
-=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#77630): https://edk2.groups.io/g/devel/message/77630 Mute This Topic: https://groups.io/mt/84085336/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
