Git Migration

[Mike Alexander]

--On November 6, 2011 10:14:48 AM -0800 John Ralls <jralls at ceridwen.us> 
wrote:

> We've been using the Github repos pretty successfully for 8 months or
> so now. I think all of the main committers this year (meaning more
> than a commit or so per month ) are using it. Meanwhile, Derek has
> upgraded the servers and moved them to a new location, so there
> should be no technical barrier to switching to git for the main
> repository.
>
> I think it's time to do so.

That's fine with me.  Perhaps that would mean that SmartGIT would work 
with the repository.

       Mike