Additions for supporting multiple git repos in Jenkins job