A deleted key stays in the history. Removing it from the file does not remove it from past versions of the repository; only revoking it counts. Key removed from the file. new version saved. Repository history. keeps the old version. Key still readable. if the repository is public. Revoke with the provider. then a new key. Key removed from the file → Repository history (does not erase). Repository history → Key still readable (exposes). Revoke with the provider → Key still readable (makes useless).