Disable auto-pull-requests to update syntax map etc

The infrastructure is shared between branches, so it messes things up.
Assumption is that there are only minor, well controlled changes, so
do things manually for now.