joshtronic · December 16, 2014 17:54
diff --git a/gistfile1.php b/gistfile1.php
 <?php 

 if (isset($_GET['secret']) && $_GET['secret'] == 'some-secret-key') {
    // @todo integrate a sanity check against this:
    //       https://help.github.com/articles/what-ip-addresses-does-github-use-that-i-should-whitelist/
    `git pull`;  
 }
	<?php

	if (isset($_GET['secret']) && $_GET['secret'] == 'some-secret-key') {
	// @todo integrate a sanity check against this:
	// https://help.github.com/articles/what-ip-addresses-does-github-use-that-i-should-whitelist/
	`git pull`;
	}