renaming remote branches
- From
Miles Bader <miles.bader@necel.com>
- Date
- Apr 16, 2009, 03:27 UTC
- Message-ID
- <buo3ac9jn18.fsf@dhlpc061.dev.necel.com>
I can "rename" a remote branch by doing:
git push REMOTE REMOTE/OLD:refs/heads/NEW git push REMOTE :OLD
is there any better way to do this (I mean, er... more user-friendly/less-dangerous/... I dunno... "better" :-)?
Also, I note that the old name ("OLD") remains in .git/info/refs, both locally and in the remote; is this a problem? I can update the local .git/info/refs by running "git update-server-info", but I'm not sure how to do in for the remote repo without having a login there...
Thanks,
-miles
-- Erudition, n. Dust shaken out of a book into an empty skull.