Ultimately SAFE should self-host its repos however until then a larger door for helpers may add value.
Would pull requests and comments created in Gitlab automatically pull over in to GitHub if it was mirrored?
I wouldn’t want a situation where the team had to do a lot of clerical work to keep the different repository stores in sync. Given they currently use GitHub for project management it’s unlikely they’ll transition away, but if having Gitlab work in tandem was effortless I can’t see any reason not to.
From brief web searching that appears to be possible although I’m not certain.
I agree that any non-productive overhead is not desirable. Configuring the GitLab repos and would require several hours. Repo mirroring from GitHub would then be automated. The only overhead I foresee is actually using GitLab, if there are no tools to automatically sync back to GitHub.
For example if I open an issue or a pull request on a GitLab repo, someone(s) would receive notifications and handle it as appropriate. That’s not ideal as having the issue or pull request in a single location is, however I would argue that it’s better than not receiving the contribution.
Hi @latch we were actually looking into doing exactly this at the turn of the year when things had quietened down.
The only person with access to https://gitlab.com/maidsafe is a former employee and so we reached out to see if he could transfer access over. Unfortunately the password he thought he had set for this didn’t work and the password reset function was not sending to his old MaidSafe email address (we revived it and set it to forward to me if anything came through) or his personal address (he said he would let us know if anything came through). We ended up parking the idea in the meantime as some other things took priority again.
If I remember correctly we would have to upgrade the GitLab account to a paid account for mirroring. There was a couple of potential workarounds I found online but it wouldn’t have included comments, etc, so official mirroring would have been the best way forward.
My main motivation for mirroring to GitLab was for resilience - what if GitHub decided to take us offline at some point? I/We will look back at this again at some point when there’s a bit of spare time, it makes sense to do it for several reasons.
Another option could be to use https://gitlab.com/safenetwork (which I created a few years ago)
I think it could make sense to move our repos to a community-managed organization eventually (I also have https://github.com/safenetwork if we want to do it on GitHub). This is what many open source projects do (e.g. https://github.com/rust-lang, https://github.com/bitcoin, https://github.com/ethereum, https://gitlab.com/tezos).
Official mirroring also wouldn’t include comments, etc.
continuous sync between two systems is a very hard problem. It is very difficult to prevent inconsistencies would likely be error prone.
Closing this issue since we don’t plan to support continuous bi-directional mirroring of repositories, issues or merge requests with GitHub.