miniblog.
← Back to all posts
Wilfred Hughes
May 21, 2013 at 16:16
Really good to see GitHub adding repository redirects:
https://github.com/blog/1508-repository-redirects-are-here
Repository redirects are here!
It’s a fact of life – sometimes repository names change. This can happen in a few different types of scenarios: When you rename a repository. When you rename your user…