A groovy script to update github mirrors with an embedded web server to receive webhooks.