Re: GitLab CI setup file in scratch/tzz/gitlab

[Eli Zaretskii]

> From: Lars Brinkhoff <address@hidden>
> Date: Thu, 27 Apr 2017 19:43:36 +0200
> 
> > We didn't yet decide that this site will be our CI site.  Until we do,
> > why should we function as someone else's repository??
> 
> I think it would be reasonable to take that decision first, and add the
> file second.

I obviously agree.  When we've made that decision, adding the file
becomes a no-brainer.