On 25/06/2024 20:08, Arsen Arsenović via Gcc wrote:
> Hi,
>
> Richard Biener <[email protected]> writes:
>
>> [snip]
>>> I was also proposing (and would like to re-air that here) enforcing
>>> that the committer field of each commit is a (valid) @gcc.gnu.org
>>> email. This can be configured repo-locally via:
>>>
>>> $ git config committer.email <yourname>@gcc.gnu.org
>>>
>>> Git has supported this since 39ab4d0951ba64edcfae7809740715991b44fa6d
>>> (v2.22.0).
>>>
>>> This makes a permanent association of each commit to its authors
>>> Sourceware account.
>>
>> I'd welcome this - care to create a patch for
>> contrib/gcc-git-customization.sh?
>
> Sure - I've attached a partial patch. I didn't find the hook which runs
> on each push to check commits, so the current patch is minimal. Is that
> also in the tree? I could try hacking it to check commits.
This won't work for developers who don't have a gcc account. Previously it
didn't matter what you said here, but now it will mess up any personal tree you
have.
+git config "committer.email" "${remote_id}@gcc.gnu.org"
R.