This is a proposal to enable the GitHub PR feature on the edk2-platforms repository and enable branch protections that would require maintainers to set a 'push' label to merge change into edk2-platforms. The same process that is already in place on the edk2 repository.
The initial change would not have any CI checks enabled. Plans to enable CI on the edk2-platforms repository are being evaluated and will be communicated before they are enabled. Please provide feedback on this proposal by 3/24/2023. Thanks, Mike -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#101243): https://edk2.groups.io/g/devel/message/101243 Mute This Topic: https://groups.io/mt/97636248/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/leave/9847357/21656/1706620634/xyzzy [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-