[git-users] Unable to delete remote branch with a strange name

2010-12-27 Thread Jingzhao Ou
Hi, all, When I checked out a git repository, it has the following remote branches: $ git br -r origin/HEAD - origin/master origin/master origin/dev/main origin/remotes/origin/dev/main I tried to delete the last branch with a strange long name. Using git push to delete it would fail. $

Re: [git-users] Unable to delete remote branch with a strange name

2010-12-27 Thread David Aguilar
On Dec 27, 2010, at 10:51 PM, Jingzhao Ou jingzhao...@gmail.com wrote: Hi, all, When I checked out a git repository, it has the following remote branches: $ git br -r origin/HEAD - origin/master origin/master origin/dev/main origin/remotes/origin/dev/main I tried to delete the last