Skip to content

Instantly share code, notes, and snippets.

@funnythingz
Created January 31, 2013 14:19
Show Gist options
  • Save funnythingz/4683148 to your computer and use it in GitHub Desktop.
Save funnythingz/4683148 to your computer and use it in GitHub Desktop.
deploy.php from github
$githubIPs = array("207.97.227.253", "50.57.128.197", "108.171.174.178", "50.57.231.61");
$errorStatus = "HTTP/1.1 500 Internal Server Error";
if(!in_array($_SERVER["REMOTE_ADDR"],$githubIPs)){
header($errorStarus);
die;
}else{
shell_exec('git pull');
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment