Migrate/mirror to Gitlab

Since Microsoft is buying Github, it might be the time to think about a migration (or at least a mirror) to https://about.gitlab.com/

I use the community edition at work and it is awesome! (continuous integration in particular).

Any thought about this?