Как переименовать удаленный git?

В настоящее время у меня есть удаленный git с именем heroku, и я бы хотел переименовать его в production.

$ git remote -v
heroku  https://git.heroku.com/example.git (fetch)
heroku  https://git.heroku.com/example.git (push)

Ответ 2

Помните, что до Git 2.11 git remote rename может попытаться переименовать несуществующий пульт!

Это исправлено в Git 2.12 (Q1 2017): См. commit e459b07, зафиксировать af5bacf (19 января 2017 г.) Йоханнес Шинделин (dscho).
(Слияние Junio ​​C Hamano - gitster - в совершить fe575f0, 31 января 2017 года)

remote rename: более тщательно определите, настроен ли пульт

С предустановленной настройкой для пультов, определенных в ~/.gitconfig (например, "remote.origin.prune", установленном на true, хотя может быть или на самом деле не может быть "origin" удаленным, определенным в определенном Gitрепозиторий), "git remote rename" и другие команды, неверно истолкованные и вел себя так, как будто такой несуществующий пульт действительно существовал.