Learn more about these different git repos.
Other Git URLs
896422b
Store in the database who close (merged or closed) the pull-request