git: いまいるブランチをリネームする
git branch -M new_name
でできる。地味に知らなかった。リネームして、切り直して、古いほうを消して...という余計な手順を踏んでいた。
GitHub で Create a new repository をしたら、最初のコミットをプッシュするまでの手順に
git branch -M main
が含まれていて、「はて？」とおもって調べた。ドキュメンテーション1によると -M は force の意味があって、すでに new_branch があるときにリネームを強行する。そうでなければ -m を使う。
