It seems like this works: Create a new repo with the same name as the "old" one. This breaks the redirect and gives you an empty repo there. Then, delete the empty repo. The redirect appears to remain broken.