CircleCI breach and harmful advice

As many know, [CircleCI was hacked recently](https://circleci.com/blog/january-4-2023-security-alert/) and they advise to rotate all secrets. But there is quiet an issue especially with SSH keys and their advice:


> **Project SSH keys**: Go to Project Settings > SSH Keys. Delete the Deploy Key and add it again. If you were using any additional keys, then those need to be deleted and recreated.


This advice is harmful because removing these keys does not remove them from the target system (usually github). It …

advice breach circleci cybersecurity delete github go to important key keys project remove settings ssh ssh keys system systems target