Learn more about these different git repos.
Other Git URLs
3981991
reorganize the 1.13 release notes a bit