[ZeroAurora]

It's a pity that the GitHub repository is not mirrored, probably making downstreams broken.

Good move anyway.

[rererereferred]

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.

[account42]

It forces people to update their fetch URL to the proper authoritative repo, which is a good thing.