RFC: using AdaCore's git hooks for binutils-gdb.git ...

[Joel Brobecker]

> If people are happy with the above, when do we want to transition?
> I feel the best time for me would be during the Xmas break.
> How do people feel about me doing the transition sometime after
> Monday Dec 29th?

I felt that a lot of people might not have been reading emails
from these mailing lists during the Xmas break, so not quite
fair a schedule. But I'd like to have this transition done before
we branch if possible. It's not a requirement, but it'll allow us
to get an email posted when I push the new branch.

So, if there are no objections, and assuming I manage to get
the necessary privileges by then, I'd like to do the transition
on Saturday, Jan 10th, or Sunday, Jan 11th.

Any objections, please shout!

-- 
Joel