Learn more about these different git repos.
Other Git URLs
b435827
Fix displaying the name of user who closed a PR