Ludovic Courtès <ludo@gnu.org> wrote ..

> Perhaps we should ask savannah-hackers for a secondary Git repo?

I don't suppose there's any harm in that, except that it means using
Git but I'll go be quiet now.