Tino Calancha <tino.calancha@gmail.com> writes:

> He and Ted already set up one:
> https://gitlab.com/emacs-ci/emacs

Was this instnace supposed to be used for development, or just GitLab's
CI?