Check if the PR contains more than one commit

[nrc]

And leave an error message if so. This will protect against users who screw up the Git history (which happened over the weekend and caused the site to crash).