* Tomas Tomecek:
Florian, a very good point. Yes, we are planning to support GitLab -
we have a GSoC project for it:
Is a GSoC project really the appropriate vehicle for this?
Gitlab has one major advantage over Github: it is possible to restrict
merge requests. This makes it much simpler to experiment with it.
With Github, once you are on that platform, you have to deal with pull
requests in some way, even if you don't want to.