Envío a otra rama en Git

Se puede hacer que el nombre de la rama en local sea diferente al nombre de la rama en el servidor. Para ello, en el comando de envío primero escribimos el nombre de la rama local, y luego, después de dos puntos, el nombre de la externa:

terminalgit push origin master:remote_branch