Git commit "Author: [...] via Gcc-patches <gcc-patches@gcc.gnu.org>" (was: [gcc r11-5068] Update documentation for spec files)

[Thomas Schwinge]

Hi!

(As discussed before...), in 2020, email doesn't work anymore the way it
did years ago...  ;-/ (Let's please *not* discuss this here.)

So we're now dealing with emails with "From: [...] via Gcc-patches
<gcc-patches@gcc.gnu.org>", etc.

... which occasionally then ends up in Git commit author:

On 2020-11-17T00:15:36+0000, Jeff Law via Gcc-cvs <gcc-cvs@gcc.gnu.org> wrote:
> https://gcc.gnu.org/g:a019766f996f57e53a8d1a9e72033e1e1487a150
>
> commit r11-5068-ga019766f996f57e53a8d1a9e72033e1e1487a150
> Author: Armin Brauns via Gcc-patches <gcc-patches@gcc.gnu.org>

Should we have a Git commit hook to catch that (and similar variants)?


(This is not to blame Jeff, of course; it's very easy to not notice
that.)


Grüße
 Thomas
-----------------
Mentor Graphics (Deutschland) GmbH, Arnulfstraße 201, 80634 München / Germany
Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Alexander Walter