Re: git commit guidelines for gnulib

[Bruno Haible]

Hi Jim,

Thanks for all these explanations. It's all convincing.

I'm all for doing the switch now (assuming you won't go on vacation
tomorrow :-)).

Bruno