2 ms·

Is there a reason why you have a mix of github and gitlab?

• Foxboron 3y ago
  Historical mostly. Github usage predates the Gitlab instance and some projects haven't been migrated. We also keep some repositories on Github as a secondary mirror. We've also had some performance issues on Gitlab for `svntogit` repository because of weird branch structures. However this repo is not deprecated so it doesn't matter anymore.