GitLab

We merged GitLab and GitLab CI, because we use the whole tool as one, with all the integrations between the different sections. CI is just one of them.

Moved to "adopt": GitLab has proven to be a very useful tool for code and the collaboration around it. With GitLab CI there is also a powerful tool to automate continuous integration and delivery.

GitLab provides nearly the same feature set as GitHub, but at a lower price. It also provides the possibility of hosting internally, which is essential for us.

We are migrating more and more repositories from gitolite, even from SVN to GitLab, as it provides a more stable and user-friendly interface.

GitLab also makes user/permission handling easier than our old gitolite. We don't need the IT team every time a new repository needs to be set up.