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 (#53610): https://edk2.groups.io/g/devel/message/53610 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] -=-=-=-=-=-=-=-=-=-=-=-
