Update github_update.php