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

[Joel Brobecker]

> 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.

-- 
Joel