ローカル、リモートともにgitのbranch名を変更したい。 ローカルのbranch名を変更 しかし、このままpushすると新しい名前のremoteブランチは作成されるが、古い名前のremoteブランチも残ってしまう。 なので、以下のコマンドも実行する必要がある。 リモート…