[edk2-devel] [edk2-platforms] Enable GitHub PR, protected branches, and 'push' label

[Marvin Häuser]

Well, in this form, it complicates our workflow and adds no value. NACK from Pedro and me till there at least is CI.

Best regards,
Marvin


-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#101283): https://edk2.groups.io/g/devel/message/101283
Mute This Topic: https://groups.io/mt/97636248/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listman.redhat.com/archives/edk2-devel-archive/attachments/20230316/ad2144ff/attachment.htm>