Browse Source

Add simple script for the git commit hook

master
Aaron Mueller 8 years ago
parent
commit
507e5d920b
  1. 1
      .gitignore
  2. 8
      update.php

1
.gitignore

@ -1 +1,2 @@
public_html/
update_token

8
update.php

@ -0,0 +1,8 @@
<?php
$token = trim(file_get_contents('update_token'));
if (empty($_GET['token']) || $_GET['token'] !== $token) die();
exec('git pull');
exec('git submodule update');
exec('scripts/generate_pages.rb');