Minimal code to exec auto-deploys on GitHub webhooks.