Deleted github_update.php