To be able to be a proper push-to-deploy, we have to allow triggering the build when a change happens on the original git repository.
This task is to brainstorm ideas on how to do that.
Webhook
This allows a generic way of triggering the build by using a webhook, potentially with a token/generated url to prevent spamming.
Git pull + diff trigger (not full pull/diff, just the idea)
This would be some kind of daemon that periodically pulls the repositories and checks if they changed, and triggers a build if so.