Just delete the remote branch and push to the new name...
> git push origin :oldbranch
git push origin localbranch:newbranch
Tekkub
GitHub Tech Support
http://support.github.com/
Join us on IRC: #github on freenode.net
Discussion group: [email protected]
On Mon, Oct 19, 2009 at 10:37 AM, onkel ringnes <[email protected]>wrote:
>
> Hello all
>
> I'm trying to rename a branch 'git branch -m old new' but apparently
> it only works locally.
> Is there some way to change the name of this branch? Maybe create a
> new branch off old with the name new, and then just deleting old?
>
> >
>
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/github?hl=en
-~----------~----~----~----~------~----~------~--~---
