A system to deploy my web site via GitHub without having to SSH into the box