On 01/31/20 18:28, Kinney, Michael D wrote: > 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
Aha, found it: https://raw.githubusercontent.com/wiki/tianocore/tianocore.github.io/images/CreateGitHubPullRequest2.png Many thanks, I'll use it in the future! Laszlo >> -----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 (#53622): https://edk2.groups.io/g/devel/message/53622 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] -=-=-=-=-=-=-=-=-=-=-=-
