Just testing GitHub's redirection policies for renaming a repository.