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.
$
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