Delete github-update.php