Hi, 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 branch commit. 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 1.7.12). Cheers, Jens -- Jens Hausherr Senior Software Engineer QA jens.haush...@xing.com XING AG 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 Sunderland Please join my network on XING <https://www.xing.com/go/invite/3287358.18c191> 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