I also mentioned this here the day I saw it: https://news.ycombinator.com/item?id=45308596

If you were targeted, you might have dangling notifications in the GitHub UI, that you can't clear since the repo has been taken down. This community discussion includes a script to get rid of those: https://github.com/orgs/community/discussions/174283#discuss...