Arsen Arsenović <ar...@aarsen.me> writes: > Hi, > > Richard Biener <richard.guent...@gmail.com> 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.
See https://github.com/AdaCore/git-hooks.