git conversion status

[Tom Tromey]

>>>>> "Andreas" == Andreas Schwab <schwab@linux-m68k.org> writes:

Andreas> Tom Tromey <tromey@redhat.com> writes:
>> I don't particularly care what the repository is named.
>> If folks want to debate it, I will rename it to the winner.
>> Time is running out for that though.

Andreas> Renaming the repository will just change the URL, nothing else.

Yeah, but that's enough given what is being requested.

Of course it also means I'll have to update all the docs and the helper
scripts.  I'm inclined not to do it unless a good name is suggested,
since it is more work.

Tom