Learn more about these different git repos.
Other Git URLs
a0655cf
Revert "Use Jenkinsfile from PR for pre-merge CI builds" This reverts commit 5fefc0a840d5d451d6a310234b7756bf0d25cbb2.