Learn more about these different git repos.
Other Git URLs
c961244
Add support to merge a PR when the fork was deleted Fixes https://pagure.io/pagure/issue/3818 Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>