https://bugzilla.wikimedia.org/show_bug.cgi?id=67270
--- Comment #20 from Mark A. Hershberger <m...@everybody.org> --- (In reply to Bawolff (Brian Wolff) from comment #19) > It's been pointed out to me that this is incorrect, and you can delete > branches from the gerrit interface. People with +2 on core have permissions > to delete most branches in extensions (but not on core). Hrm... the gerrit interface. That would be why this didn't work: $ git push origin --delete REL1_23 remote: Branch refs/heads/REL1_23: remote: You need 'Push' rights with the 'Force Push' remote: flag set to delete references. remote: User: mah remote: Please read the documentation and contact an administrator remote: if you feel the configuration is incorrect remote: Processing changes: refs: 1, done To ssh://m...@gerrit.wikimedia.org:29418/mediawiki/extensions/UrlShortener.git ! [remote rejected] REL1_23 (cannot delete references) error: failed to push some refs to 'ssh://m...@gerrit.wikimedia.org:29418/mediawiki/extensions/UrlShortener.git' -- 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
