Learn more about these different git repos.
Other Git URLs
c8c021b
Fix calculating the PR diff stats on PR whose fork has been deleted Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>