git push origen dev:dev

git push :

Es decir, envía la rama de desarrollo local a la rama de desarrollo del origen remoto. no tiene que serlo. Para hacer lo mismo, también puedes:

git push origin dev:mydev

Esto enviará la rama de desarrollo local a la rama remota mydev

Al mismo tiempo, este comando también se puede usar para eliminar ramas remotas, simplemente omita la rama local:

git push origin :dev

Esto eliminará la rama dev en origen