Script to delete branches which have been merged in gerrit, even if you don't have the latest patchset