Enviando para um branch diferente no Git

É possível fazer com que o nome do branch local seja diferente do nome do branch no servidor. Para isso, no comando de envio primeiro escrevemos o nome do branch local, e depois, seguido de dois pontos, o nome do branch remoto: