On Mon, 6 May 2024 at 17:11, Kinney, Michael D <michael.d.kin...@intel.com> wrote: > > That information is in GitHub in the PR conversation. > > If you follow the link from the commit to the PR, the PR conversation shows > who set the 'push' label. >
But that is GitHub proprietary metadata, no? Is it not possible to set the committer field in Git itself to something meaningful? -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#118601): https://edk2.groups.io/g/devel/message/118601 Mute This Topic: https://groups.io/mt/105873467/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-