So… which is the canonical hosted source though currently? Github or Gitlab? I feel like it’s somewhat high priority to sort this out, because conversations are getting more and more fragmented between the two hosted copies.
I think this is the kind of feeling that github is wanting to create, and it comes from github’s ubiquity. However, I’m not sure it’s accurate. I’ve seen many many successful OSS projects that aren’t on github. Being on github may lower the barrier to contributions, but maybe this just results in lower quality contributions on average?
Anyway, that’s a discussion for another topic. The concern I have here is that we have two hosted copies of ocim right now, with the master branch at different revisions, and both have active issues and pull requests. We must consolidate that to one, before the situation worsens.