Delete github-updater.php