Erlang REST server to accept GitHub webhooks and autodeploy apps.