Ignore pull request actions that the hook doesn't understand.

They should still be considered successfully dealt with just with some
descriptive text.
Merge branch 'feature/std_github_webhook'