Learn more about these different git repos.
Other Git URLs
5f492e9
Ensure the environment is never touched if level is 0.