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]
-=-=-=-=-=-=-=-=-=-=-=-

Reply via email to