Git Migration

[John Ralls]

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.

Regards,
John Ralls