GIT : comment renommer une branche ? (locale et distante)

Voici une solution pour renommer une branche en local ET à distance. Ne pas oublier de mettre à jour cette branche chez les autres (vidéo suivante).
Une réponse rapide à une question simple !
Pour en savoir plus :
GIT : 40 problèmes, 40 solutions : • GIT : 40 problèmes, 40...
Playlist Git Shorts : • Git Shorts
#git