The job get launched automatically if the submitter is part of the "JBoss Tools" GitHub organization.When does the job get launched ? Because I see lots of PR not being validated (late ones) in jboss-openshift (ex https://github.com/jbosstools/jbosstools-openshift/pull/1234). If the PR got updated, will the job launched again ?