On Thu, Jan 15, 2015 at 01:13:52PM -0500, Reid Spencer wrote: > Convert to GIT You can use the git mirrors if you want. Please check the mailing list for the reasons against it. Joerg