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

[Eli Zaretskii]

> From: Dmitry Gutov <address@hidden>
> Date: Thu, 27 Apr 2017 23:16:22 +0300
> 
> In fact, if we have several different CI servers popular among Emacs 
> developers, it wouldn't cost us much to keep all their build 
> configurations in the repo (as long as they are configured in the same 
> fashion).

Nothing prevents us from deciding that we want to support several CI
servers, not just one.