Got approved for a GitLab Ultimate license so that's sorted (although I haven't received it yet)
@Gargron oh ultimate is self-hosted? then just the usual "but it's just another business like github" argument
@Gargron FWIW, you can move the repo and turn GitHub into a mirror.
GNOME did it before moving to GitLab, and it did improve contributions. (The recent move to GitLab majorly improved collaboration even more — but that's because they had relatively antiquated systems that still needed to be used beore.)
But, basically, you can move and keep the project on GitHub as a mirror. If you do so, I'd suggest having prominent notice in the README and links to the main repo in the README & project URL.
@Gargron GitLab has push mirroring for enterprise edition — does your Ultimate License also support it? https://docs.gitlab.com/ee/workflow/repository_mirroring.html
(Otherwise, a mirror can be just another git remote that is pushed to, and that can even be automated.)
@Gargron Oh, nice! GitLab's been moving more and more Enterprise things into CE. Great to hear!
I guess the docs just need updating (just like every software project, ever).
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!