Include git-pull.php in repo and build step

Author: limzykenneth

Gruntfile.js

@@ -243,6 +243,12 @@ module.exports = function(grunt) {
         src: ['**'],
         dest: '<%= config.dist %>/zh-Hans/reference'
       },
+      gitDeploy: {
+        expand: true,
+        cwd: '<%= config.src %>',
+        src: 'git-pull.php',
+        dest: '<%= config.dist %>'
+      },
       offlineReference: {
         files: [
           {

git-pull.php

@@ -0,0 +1,14 @@
+<?php
+echo system('git reset --hard');
+echo system('git checkout -- .');
+echo system('git pull git://github.com/processing/p5.js-website.git gh-pages');
+// date_default_timezone_set('America/New_York');
+// $date = getdate();
+// $date_str = $date['month'].' '.$date['mday'].', '.$date['year'];
+// $f = fopen('updated.php', 'w');
+// fwrite($f, $date_str);
+// fclose($f);
+// $f = fopen('site/updated.php', 'w');
+// fwrite($f, $date_str);
+// fclose($f);
+?>

src/git-pull.php

@@ -0,0 +1,14 @@
+<?php
+echo system('git reset --hard');
+echo system('git checkout -- .');
+echo system('git pull git://github.com/processing/p5.js-website.git gh-pages');
+// date_default_timezone_set('America/New_York');
+// $date = getdate();
+// $date_str = $date['month'].' '.$date['mday'].', '.$date['year'];
+// $f = fopen('updated.php', 'w');
+// fwrite($f, $date_str);
+// fclose($f);
+// $f = fopen('site/updated.php', 'w');
+// fwrite($f, $date_str);
+// fclose($f);
+?>