There's an API right now. Github webhooks are coming, as is git push support. They were sidelined to facilitate the infrastructure upgrades so we could provide

There's an API right now. Github webhooks are coming, as is git push support. They were sidelined to facilitate the infrastructure upgrades so we could provide more bandwidth and storage. We'll get back to them.