The page "Using repository hooks" ends with the following test:
Git post-receive hooks won't be triggered after a pull request merge. The mechanism that performs the pull request merge is actually based on a git fetch into the repository, which doesn't trigger Git post-receive hooks. If you would like to trigger functionality based on a pull request merge, you should write a post-receive repository hook.
The first sentence says post-receive hook are not triggered by pull request merges. The last sentence says if you want to trigger something based on a pull request merge, you should use a post-receive hook. This seems contradictory.