Update github_auto_pull.php