Git Migration

[Geert Janssens]

On zondag 6 november 2011, John Ralls 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.

I'd love to see git to be the main repository.

Would that mean we drop the svn repo ? The windows automatic build scripts 
still depend on svn and won't work with git.

Geert