updating git pull command to not hang on server

Author: lmccart

dist/git-pull.php

@@ -1,5 +1,5 @@
 <?php
 echo system('git reset --hard');
 echo system('git checkout -- .');
-echo system('git pull git://github.com/processing/p5.js-website.git gh-pages');
-?>
+echo system('git pull https://github.com/processing/p5.js-website.git gh-pages');
+?>