gerrit.sh: Remove this, it's not my gerrit anyways