Add github_pull.php