Learn more about these different git repos.
Other Git URLs
5b7c963
Add docs generation to Jenkinsfile.