Learn more about these different git repos.
Other Git URLs
229c4d3
Drop the icons used to mark the status of a PR, it's no longer used