Cool. Glad it's finally here. Although I have some concerns here: Is this an option or not changeable? Does this mean you can't use [a previous name of an existing repo] as a new repo's name?
What if I rename my account? Repository redirects are created, but would someone else be able to register with my previous username and take over repositories?
> There is one caveat with the new redirect support worth noting: GitHub Pages sites are not automatically redirected when their repositories are renamed at this time.
Surprising that they didn't implement this as it seems like the easiest thing to implement and pretty damn useful.
What if you're in a situation where you have both the source and target repo already present, each with their separate issues (which you'd like to combine). I assume you'd have to combine everything in one repo, delete the other, and perform the rename. Does that sound right?
12 comments
[ 9.3 ms ] story [ 40.3 ms ] thread1. Create https://github.com/beefsack/test1
2. Rename to https://github.com/beefsack/test2, redirect works
3. Create new https://github.com/beefsack/test1, link from (1) points to this new repo
So yeah, it looks like it works.
Surprising that they didn't implement this as it seems like the easiest thing to implement and pretty damn useful.