Renaming branches remotely in Git

Question

If there is a repository that I only have git:// access to (and would usually just push+pull), is there a way to rename branches in that repository in the same

Answer 1

Sure. Just rename the branch locally, push the new branch, and push a deletion of the old.

The only real issue is that other users of the repository won't have local tracking branches renamed.