On Tue, 17 Nov 2020, Thomas Schwinge wrote: > Should we have a Git commit hook to catch that (and similar variants)?
I've added a check for [email protected] (or [email protected] or [email protected]) as author email address in our commit_checker hook (in ~gccadmin/hooks-bin). (Checking a few specific email addresses seems a bit simpler than a more general rule of rejecting any @gcc.gnu.org address that matches that of a mailing list other than [email protected].) -- Joseph S. Myers [email protected]
