https://bugzilla.wikimedia.org/show_bug.cgi?id=67270
--- Comment #19 from Bawolff (Brian Wolff) <bawolff...@gmail.com> --- (In reply to Bawolff (Brian Wolff) from comment #18) > > > > Unfortunately, gerrit/git won't let me delete the bad branches. The easiest > > thing to do would be to drop those REL1_23 branches that don't have their > > own commits and recreate them. > > I believe you need direct push rights to do that. Chad is the only one with > such rights on our repo afaik. 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). -- 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
