Learn more about these different git repos.
Other Git URLs
00ce747
debug the environment in the ci_tests script