Learn more about these different git repos.
Other Git URLs
bcb5c11
Fix logic around merge_pull_request and diff_pull_request Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>