I came across an issue with deleting remote branches: When deleting a
branch using "git branch r d <branch>" the branch is deleted and no
longer shown by "git branch r".
"git ls-remote --heads" on the other hand still lists the ref for the last
If I delete the branch using "git push origin :<branch>" the branch is
removed completely (i.e. git ls-remote no longer returns a ref).
Is this a bug or is this behavior intentional? (I am currently using git
Senior Software Engineer QA
Gaensemarkt 43, 20354 Hamburg, Germany
Tel. +49 40 419131-634, Fax +49 40 419131-11
Commercial Reg. (Registergericht): Amtsgericht Hamburg, HRB 98807
Exec. Board (Vorstand): Dr. Stefan Groß-Selbeck (Vorsitzender), Dr. Thomas
Vollmoeller, Ingo Chu, Dr. Helmut Becker, Jens Pape
Chairman of the Supervisory Board (Aufsichtsratsvorsitzender): Dr. Neil
Please join my network on XING
This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorised copying, disclosure or distribution of the material in this
e-mail is strictly forbidden and may be unlawful.
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