Michael Haggerty <mhag...@alum.mit.edu> writes:
> On 07/23/2012 08:42 PM, Junio C Hamano wrote:
>> "abhisek...@gmail.com" <abhisek...@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".
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html