Learn more about these different git repos.
Other Git URLs
9b71334
Expand the documentation with some information on how to use the doc repo