document use of GitHub event types