Redirecting GitHub Pages after a repository move
You have a repository, call it
alice/repo. You would like to transfer it to the user
bob, so it will become
However, you make heavy use of the GitHub Pages feature, so that people are often accessing
https://alice.github.io/repo/. GitHub will helpfully redirect all of your repository stuff hosted on github.com after the move, but will not redirect the GitHub Pages hosted on github.io.