https://bugzilla.wikimedia.org/show_bug.cgi?id=67270
--- Comment #29 from Mark A. Hershberger <m...@everybody.org> --- (In reply to Kunal Mehta (Legoktm) from comment #22) > (In reply to Mark A. Hershberger from comment #20) > > > Hrm... the gerrit interface. That would be why this didn't work: > > > > $ git push origin --delete REL1_23 > > Did you try: $ git push origin :REL1_23 That is the older syntax. From git 1.7.0 notes: https://github.com/gitster/git/blob/master/Documentation/RelNotes/1.7.0.txt#L154 * "git push" learned "git push origin --delete branch", a syntactic sugar for "git push origin :branch". -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
