Learn more about these different git repos.
Other Git URLs
f86685e
Adjust close_pull_request to the new PR's status allowed