GitHub's webhooks for events like push, pull request, etc.