Changes in RO jenkins jobs to support compilation of a specific GIT_COMMIT from gerrit