GitLab has been updated. More info on the new features here.
Adding some documentation on the changes that we are going to perform on devel branch.