On: Gitlab 5.0 released, Gitolite now gone

[sytse]

Thank you for the kind comment m4tthumphrey!

You probably are aware of GitLab CI that is a simpler alternative for Jenkins but I wanted to mention it just to make sure.