Re: [Wikitech-l] GitLab CI (was RFC: Optional Travis Integration for Jenkins)