Git : renommer une branche distante
Boris HUISGEN October 21, 2014
$ git push <remote> <remote>/<old_name>:refs/heads/<new_name> :<old_name>
Boris HUISGEN October 21, 2014
$ git push <remote> <remote>/<old_name>:refs/heads/<new_name> :<old_name>