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

[Eli Zaretskii]

> Cc: address@hidden, address@hidden
> From: Dmitry Gutov <address@hidden>
> Date: Fri, 28 Apr 2017 11:33:28 +0300
> 
> On 28.04.2017 9:49, Eli Zaretskii wrote:
> 
> > AFAIU, it's not the decision that takes days or weeks, it's the actual
> > work on using the server and collecting the experience which would
> > allow the decision to be made.
> 
> In that case, again, to use the CI to its fullest, the file should be in 
> the repo.

It already is -- on a branch.  The question was whether to have that
on master, which IMO should be done after we decide to use this
server.