Simplify git clones in Jenkinsfile (#3654)

1 file changed