jjb: lava: use Jenkins' Git plugin to checkout projects rather than doing manual...
This page took 0.037296 seconds and 3 git commands to generate.