GitHub: Add configurability for push events, and use generic mechanism for future integration of all event types.
GitHub: Fix previous commit and add support for other event types. Closes GH-146.