Add trigger script for github

deploy_html

@@ -20,6 +20,7 @@ mv html html.prev
 
 # move the new site to the production location
 mv website-master/html html
+mv website-master/deploy_html deploy_html
 
 # clean up leftovers
 rm -rf website-master $ZIPFILE

html/api/github_trigger.php

@@ -0,0 +1,16 @@
+<?php
+
+require_once '/var/www/github_trigger_config.php';
+
+if (!isset($_GET['token']) || $_GET['token'] !== SECRET_ACCESS_TOKEN ) {
+	header('HTTP/1.0 403 Forbidden');
+	echo '403 Forbidden.';
+} else {
+	echo 'Accessed.';
+
+	if ( $_POST['payload'] ) {
+		echo 'Redeployed.';
+		shell_exec( '/var/www/deploy_html' );
+	}
+}
+?>