GERRIT_URL=git://10.30.48.3/mirror/$PROJECT
GIT_BASE=git://10.30.48.3/mirror/$PROJECT
GIT_URL=git://10.30.48.3/mirror
JENKINS_HOSTNAME=vex-yul-rot-jenkins-1
GERRIT_URL=git://10.30.48.3/mirror/$PROJECT
GIT_BASE=git://10.30.48.3/mirror/$PROJECT
GIT_URL=git://10.30.48.3/mirror
JENKINS_HOSTNAME=vex-yul-rot-jenkins-1