Learn more about these different git repos.
Other Git URLs
9c44787
drop docs-only items from release notes and move "miscellaneous" changes elsewhere.