Limit github reporters to event types

For a push event that has no associated pull request, we cannot report
by way of a comment, label, or merge. We can only set the status.
Clarify this in the docs as well.

Change-Id: Ibd903fe0496958d869eafd2165f381305ca07404
Story: 2000774
Task: 4658
2 files changed