Learn more about these different git repos.
Other Git URLs
82676d1
[doc] describe how to generate the general documentation