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.
Michael
--
Michael Haggerty
mhag...@alum.mit.edu
http://softwareswirl.blogspot.com/
--
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
