Learn more about these different git repos.
Other Git URLs
9f48c1f
Disallow remote pull requests Fixes #3554 If set, remote pull requests will be disabled and not available anymore as a selection in the PR dropdown menus Signed-off-by: Karsten Hopp <karsten@redhat.com>