Learn more about these different git repos.
Other Git URLs
7942d69
Document the permissions configuration