Comment by imperialWicket

I use a git hook that builds locally on commits to master (with some cleaning just in case I was testing weird things from non-master). I host on s3, but I don't think the s3 transfer vs github push is of great consequence here.