Re: Cannot delete weirdly named branch
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 30, 2012, 17:55 UTC
- Message-ID
- <7vk3xlqgl3.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <5016C2C9.5050904@alum.mit.edu>
Michael Haggerty <mhagger@alum.mit.edu> writes:
Show 14 quoted lines
> On 07/23/2012 08:42 PM, Junio C Hamano wrote: >> "abhisekpan@gmail.com" <abhisekpan@gmail.com> writes: >> >>> Now I cannot delete this branch. Running: >>> git branch -d --tracking >>> gives an error: unknown option `tracking' >> >> I do not think this is supposed to work, but it does by accident. >> >> $ git branch -d -- --tracking >> Deleted branch --tracking (was 8670e20). > > The plumbing command "git update-ref -d refs/heads/--tracking" can > also be used to delete such a branch.
Note that once you started using the plumbing you are assumed to know what you are doing. "update-ref -d" does not offer the "you will be losing these commits" safety, and it will not remove configuration items for "branch.--tracking.*" keys. You would want to remove them yourself if you want to emulate "git branch -d".