gitのbranch名を変更する

ローカル、リモートともにgitのbranch名を変更したい。

ローカルのbranch名を変更

しかし、このままpushすると新しい名前のremoteブランチは作成されるが、古い名前のremoteブランチも残ってしまう。
なので、以下のコマンドも実行する必要がある。

リモートbranchを削除

参考