Learn more about these different git repos.
Other Git URLs
7f9460a
be more careful about the xml doc (static analysis)