In my opinion it's not a big deal to use a GitHub. GitLab just seems nicer, ...and is open source, ... and free, ... and is not bought by some tech gigant recently, ... and has no travis as a CI tool. You know all the reasons.Kunda1 wrote: ↑Tue Jun 11, 2019 7:29 pm We'd have to improve the functionality of the Addon Manager to work with gitlab. Or perhaps there could be a mirror of said gitlab repo on GitHub that would then interact with the Add-on Manager.
However - it's not a problem to use two or more remote repositories. It's a fundamental feature of git. More info: https://gist.github.com/rvl/c3f156e117e22a25f242
Mirroring to github can be done automatically as a one of gitlab's CI's pipeline stages. So that the whole project's life can be held on gitlab.