Hi Laszlo, It can be done with the WebUI. There is a picture on this page that shows setting the 'push' label before selecting 'Create Pull Request'
https://github.com/tianocore/tianocore.github.io/wiki/EDK-II-Development-Process I can also be done with the 'hub' command. The following Command shows all the flags for opening a PR using the hub command. The '-l' flag allows a label to be set. hub help pull-request Mike > -----Original Message----- > From: devel@edk2.groups.io <devel@edk2.groups.io> On > Behalf Of Laszlo Ersek > Sent: Friday, January 31, 2020 8:59 AM > To: Kinney, Michael D <michael.d.kin...@intel.com>; > devel@edk2.groups.io > Cc: Zhang, Chao B <chao.b.zh...@intel.com>; Wang, Jian > J <jian.j.w...@intel.com>; Yao, Jiewen > <jiewen....@intel.com> > Subject: Re: [edk2-devel] [PATCH 00/11] > SecurityPkg/DxeImageVerificationHandler: fix retval for > "deny" policy > > On 01/31/20 17:52, Kinney, Michael D wrote: > > > 2) Open PR with the 'push' label set. If all checks > > pass, then it is merged. If any checks fail, then > > the maintainer can address and do a forced push to > > their branch to retry. > > Yes, this would be ideal, but I don't know how I can > open a PR with the > push label atomically set. Is this available on the > WebUI, or just from > the command line? > > Thanks! > Laszlo > > > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#53614): https://edk2.groups.io/g/devel/message/53614 Mute This Topic: https://groups.io/mt/69752218/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-