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 :
git push origin master:remote_branch
Envoyez les données vers une autre branche.
