FYI: I've just activated
Setting
Moderation Options
Limit to repository collaborators
which is, according to
https://stackoverflow.com/questions/27957454/how-to-disable-pull-requests-in-github,
the only possibility to disable PRs on github.
Note that this setting is limited to six months and cannot be disabled
permanently.
Werner
