Renombrando la rama principal de un repositorio

Pues eso, que GitHub me ha sorprendido con este aviso indicando el cambio del nombre de la rama principal (o rama por defecto, que también es válida esa denominación). Por ello hay que modificar el código almacenado de manera local:

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

Lo pongo como mi recordatorio del asunto.