"[email protected]" <[email protected]> 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).
A more recent git would not let you create such a branch to begin
with. Perhaps time to upgrade?
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
