On Mon, 25 Nov 2024 at 18:10, Michael D Kinney via groups.io <[email protected]> wrote: > > If the commit is not correct, then you can revert the change and > push the revert commit. > > Since this is a public repo, forced pushes to remove the commit > are now allowed. >
*NOT* allowed !! -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#120837): https://edk2.groups.io/g/devel/message/120837 Mute This Topic: https://groups.io/mt/109770456/21656 Group Owner: [email protected] Unsubscribe: https://edk2.groups.io/g/devel/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
