finalized github_pull.php