cc @johanneshaertel
Just discussing with @sschauss
We are not sure yet what is easy and sufficient:
- We could have a nightly build/deploy
- Alternatively, we could use a trigger on the repo.
Anyways, it would be good NOT to depend on a single person deploying.