after I configured the git webhook stuff properly (???), I'm trying this
again.