git: Add a script to rename a branch on the server without checking it out