Re: Unable to delete remote branch with a strange name
Andreas Schwab <schwab <at> linux-m68k.org> writes:
Show 11 quoted lines
>
> 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