git branch -M new_name

でできる。地味に知らなかった。リネームして、切り直して、古いほうを消して…という余計な手順を踏んでいた。

GitHub で Create a new repository をしたら、最初のコミットをプッシュするまでの手順に

git branch -M main

が含まれていて、「はて?」とおもって調べた。ドキュメンテーション1によると -M は force の意味があって、すでに new_branch があるときにリネームを強行する。そうでなければ -m を使う。