[phoe-krk]

This isn't a post, it's a PR. If your names are listed in a public Git repository, then you need to have them removed if you resign. This means a PR and a review of that PR, which is exactly what happened here.