From: Jingzhao Ou <jingzhao.ou@gmail.com>
Date: Tue, 28 Dec 2010 16:10:14 GMT
Subject: Re: Unable to delete remote branch with a strange name
Message-ID: <loom.20101228T170808-756@post.gmane.org>
In-Reply-To: <m2hbdy9top.fsf@whitebox.home>

Andreas Schwab <schwab <at> linux-m68k.org> writes:
> 
> Jingzhao Ou <jingzhao.ou <at> gmail.com> writes:
> 
> > I guess somehow, git is confused by "origin/dev/main" and 
> > "origin/remotes/origin/dev/main". Especially, it cannot identify the latter
> > properly.
> 
> Try fully qualifying the remote branch (beginning with refs/heads/).
> 
> Andreas.
> 

Hi, Andreas,

Yes, using the absolute path works like a champ! 

git push origin :refs/heads/remotes/origin/dev/main

Thanks a lot for your help!

Jingzhao