9f48c1
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></karsten@redhat.com>