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