Merge "gerrit.sh: actually verify running processes"