Envoi vers une autre branche dans Git

Il est possible que le nom de la branche en local diffère du nom de la branche sur le serveur. Pour cela, dans la commande d'envoi, on écrit d'abord le nom de la branche locale, puis après deux points le nom de la branche externe :

terminalgit push origin master:remote_branch