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