Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 861884070f
Fetching contributors…

Cannot retrieve contributors at this time

file 18 lines (14 sloc) 0.346 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
<?php
include_once("deploy.php");

print ("= Updating Source =\n");
chdir (SRC_PATH);
system ("git fetch origin");
system ("git reset --hard");
system ("git checkout -q origin/master");
system ("git log -1");
chdir ($cwd);
print ("\n");


print ("= Updating GDoc =\n");
include ("update-gdoc-functions.php");
print ("\n");

recompile_and_sync();
Something went wrong with that request. Please try again.