Just realized the weight of moving the primary location of our source code given the number of links to it out there
And the whole forks ecosystem
And the way commit messages refer to GitHub issue numbers
On the other hand, that's only going to get worse over time - even more links, even more forks, even more commit messages.
And maybe Microsoft won't fuck up GitHub, but sensing this vendor lockin now, what would happen if they do?
So it's probably a band-aid that has to be ripped sooner rather than later. 🤔
Got approved for a GitLab Ultimate license so that's sorted (although I haven't received it yet)
@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.)
Generalistic and moderated instance. All opinions are welcome, but hate speeches are prohibited. Users who don't respect rules will be silenced or suspended, depending on the violation severity.