If it's not reachable at the new repository, we should probably not rename it until it is.