Laszlo, My guess is the Mergify only allows commands from GitHub users with admin roles on a repo. Which would explain why I can submit those commands but you and Sean got that message.
I would prefer that this condition never occur and we never need to use these commands. It sounds like Mergify is on top of this issue. Let's see how many more instances there are in the next few weeks/months and see if we need more members with admin roles. Thanks, Mike > -----Original Message----- > From: devel@edk2.groups.io <devel@edk2.groups.io> On > Behalf Of Laszlo Ersek > Sent: Monday, March 9, 2020 12:32 PM > To: Kinney, Michael D <michael.d.kin...@intel.com>; > devel@edk2.groups.io; sean.bro...@microsoft.com; Bret > Barkelew <bret.barke...@microsoft.com>; Gao, Liming > <liming....@intel.com> > Cc: Leif Lindholm (Nuvia address) <l...@nuviainc.com>; > Andrew Fish <af...@apple.com> > Subject: Re: [edk2-devel] EDK II Maintainers - EDK II > CI is now active on edk2/master > > On 03/09/20 20:29, Laszlo Ersek wrote: > > Hi Mike, > > > > On 03/08/20 20:53, Kinney, Michael D wrote: > >> I added the @Mergifyio refresh to these PRs. > >> > >> This one was merged: > >> https://github.com/tianocore/edk2/pull/427 > >> > >> This one is failing PatchCheck with a missing > Signed-off-by > >> https://github.com/tianocore/edk2/pull/430 > >> > >> This one needs to be rebased and resubmitted > >> https://github.com/tianocore/edk2/pull/428 > > > > Thanks for kicking mergify. > > > > I think maintainers should have permission to kick > mergify (if they > > don't have that permission already). Otherwise, the > automated > > merge-on-CI-pass is not actually automated, and we > create a bottleneck > > in an otherwise distributed / asynchronous workflow. > If only you can > > kick mergify, then any *valid* (CI-clean) pull > request will potentially > > have to wait on you. > > > > Mergify kicking rights do not allow maintainers to > bypass CI checks, if > > I understand correctly. (Unlike direct merge / > repository write access.) > > > > BTW I didn't even know about this mergify "command". > Is there a guide > > somewhere? > > > > I honestly feel this should have been handled / > introduced more > > transparently. I rarely feel as powerless as with > PR#428. CI passed, the > > PR was stuck, github didn't respond to my ticket, > mergify.io didn't > > respond to my ticket, and the PR was actually urgent > (fixing a build > > breakage). I was sitting there uncomfortably as one > of the stewards, > > unable to fix the situation. Earlier all this would > take was a git-push > > command. > > Yup, just seen this too: > > "@lersek is not allowed to run commands" > > :/ > > > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#55697): https://edk2.groups.io/g/devel/message/55697 Mute This Topic: https://groups.io/mt/53725670/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
