[解決済み] git リモートの名前を変更するにはどうすればよいですか？

質問

現在、私はgitのリモートで heroku という名前に変更したいと思います。 production .

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

解決方法は？

$ git remote rename <old-name> <new-name>

では、この例の場合。

$ git remote rename heroku production

便利なドキュメントはこちら https://help.github.com/articles/renaming-a-remote/