Gitでpushした後、ブランチ名が間違っていることに気づき、変更したくなりました。いろいろ調べたら、
How To Rename a Local and Remote Git Branch | Linuxize
で書かれた通り実行したら、できました。
以下のコマンドを順番に実行する
1．古いブランチに切り替える
git switch <old_branch>
2．ローカルのブランチ名を変更
git branch -m <new_branch>
3．変更後のブランチをpushする
git push origin -u <new_branch>
4．古いブランチ名をリモートから削除
git push origin --delete <old_branch>
覚えていられるかな？
