Git リポリトリ名の変更

github上でリポジトリ名を変更した後に

git remote set-url origin {new_repository_url}