Automatic Site Rebuilding with PHP and GitHub

The content of this website is on GitHub here. A nifty feature about GitHub are its Webhooks. I wanted to be able to add content here without having to SSH into my server, cd-ing into the www directory, git pulling, and makeing, as those steps are tedious. So, I set up a GitHub webhook to POST to a PHP page on the server. The basic form of this PHP page is just: