Laziness wins: instead using the elagant way with a git hook which would take me at least 30 min to set up, I use a cronjob (30 sec)