Not sure where to add this, but some colleagues have found this script useful:
https://github.com/edg2s/gerrit-sweep
It deletes any local branch that has been merged into master according to its latest Change-Id, so even patches that someone else modified before they were merged get cleaned up (unlike git branch --merged).