If you move a repo, GitHub will automatically redirect it. https://github.com/blog/1508-repository-redirects-are-here
So just delete the new one, then transfer the old one. :magic: _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
