Besides the old repo URL will still redirect to the new location after you've renamed the repo on GitHub by going into settings and changing it there.