+1 Git Migration

[Christian Stimming]

Am Sonntag, 6. November 2011 schrieb 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.

+1 from me.

Regards,

Christian