Add prompt for managing GitHub webhooks.

Later, we can automate this using the GitHub API. See comments for details.