I think Cirrus-CI needs a github account? Is there a way to use Gitlab now
instead? (just like Travis recently added Gitlab support?)
We should eventually set up the cirrus-run tool, so we can use gitlab, too,
but I think you then still need at least a dummy github account to be able
to use it, don't you?
Thomas