_d6rd··on Dokku: My favorite personal serverless platformNice. Why not use a github merge webhook for triggering deploys?