Change in jenkins[master]: github: use webhooks instead of polling