Script to delete branches which have been merged in gerrit, even if you don't have the latest patchset
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
