It's a pity that the GitHub repository is not mirrored, probably making downstreams broken.
Good move anyway.
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.
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.