ANNOUNCEMENT: we have now switched to new git hooks (was: "Re: RFC: using AdaCore's git hooks for binutils-gdb.git ...")

[Cary Coutant]

>> In the meantime, would you mind renaming your user branches to be
>> "user/[...]" instead of "users/[...]"?  This is the name we agreed
>> on and the one for which no email is going to get sent.
>
> Actually - looks like you just followed Cary's lead. I'll just
> change the configuration, then.

Oops, sorry!

-cary