On Mon, 25 Nov 2024 at 18:10, Michael D Kinney via groups.io <michael.d.kinney=intel....@groups.io> 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: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
