If the need arises to change the name of a git remote, in the past, I’ve normally done one of these two things:
- delete and recreate the remote
- manually edit the remote info in .git/config
Turns out there is a git command for this and I completely missed it!
git remote rename OLD_NAME NEW_NAME
As you can probably imagine, this handles the name change as well as the reference change in the config.