MonetDB on GitHub

Hi,

I was wondering whether the MonetDB repositories on GitHub (or any git-based platform) are, in your intentions, there to stay.

That's because I'm planning to move our own fork from Mercurial to git. This would come very easy by using the GitHub repositories as upstreams.

My second question though is: the git repositories are at this moment about 10 days behind. Is there a reason? Will that be improved?

Thanks! Roberto