Re: Good news, bad news on the repository conversion

[Jonathan Wakely]

On Tue, 10 Jul 2018 at 09:10, Alec Teal wrote:
> PS: Migrating what to what?

Git.

> Wasn't the git migration done years ago?

No.