Git renommer une branche

Cas 1 - changement de framework

suite à un changement de framework (passage à Laravel), j'ai d'abord créé une branche laravel.

Mon besoin est de renommer l'ancienne branche develop -> old-develop

puis la branche laravel -> develop

Tout d'abord develop -> old-develop  :

En local :

git branch -a
* laravel
develop
remotes/origin/laravel
remotes/origin/develop
git branch -m develop old-develop

Vers le serveur distant :

git push origin --delete develop
git push origin -u old-develop

Et maintenant laravel -> develop :

En local :

git branch -m laravel develop

Vers le serveur distant :

git push origin --delete laravel
git push origin -u develop

On doit avoir maintenant :

git branch -a
* develop
old-develop
remotes/origin/develop
remotes/origin/old-develop

Si la branche distante est partagée avec d'autres dév, bien les informer du changement… surtout dans ce cas où la branche develop ne porte plus vers le même code qu'avant.