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