4 ms·
It's a pity that the GitHub repository is not mirrored, probably making downstreams broken. Good move anyway.
by ZeroAurora 1y ago
It's a pity that the GitHub repository is not mirrored, probably making downstreams broken.
Good move anyway.
- rererereferred 1y 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 1y agoIt forces people to update their fetch URL to the proper authoritative repo, which is a good thing.