Learn more about these different git repos.
Other Git URLs
28a87a0
ensure that our directories exist when we look them up