Fix github_pull.php script