2 ms·
It's a pity that the GitHub repository is not mirrored, probably making downstreams broken. Good move anyway.
by ZeroAurora 10mo ago
It's a pity that the GitHub repository is not mirrored, probably making downstreams broken.
Good move anyway.
- rererereferred 10mo agoIt's a simple `git remote set-url` to fix it, unless you are using some github proprietary API which is the kind of vendor lock-in they want to avoid.
- account42 10mo agoIt forces people to update their fetch URL to the proper authoritative repo, which is a good thing.