Learn more about these different git repos.
Other Git URLs
5e558c8
Update NEWS for upcoming 11.0 release.