Re: [PATCH-for-5.1] .travis.yml: Deprecate it in favor of GitLab CI