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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html