Please set the push label on https://github.com/tianocore/edk2/pull/5642
discussed here: https://openfw.io/edk2-devel/20240508085148.1725-1-p...@akeo.ie/ -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#118671): https://edk2.groups.io/g/devel/message/118671 Mute This Topic: https://groups.io/mt/105979790/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
