On Mon, 6 May 2024 at 17:57, Kinney, Michael D <michael.d.kin...@intel.com> wrote: > > Hi Ard, > > Thais is an attribute of Mergify. I do not see a way to change that > behavior. > > I do not know if using the GitHub merge capability or other merge services > provides different behavior here or not. > > This specific request is not related to the change to GitHub PRs > for code review. There is no intention to change the requirement > for a maintainer to set the 'push' label and no intention to change > away from Mergify at this time. > > Perhaps we can open your request as an independent request that we > can find an owner to evaluate options and provide recommendations. >
Yep that works for me - it is not an urgent issue anyway, just something I realized while going through the thread. -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#118603): https://edk2.groups.io/g/devel/message/118603 Mute This Topic: https://groups.io/mt/105873467/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
