7 PRs disappeared (all by the same author)

Development
1

I can’t access these PRs:

https://github.com/NixOS/nixpkgs/321465
https://github.com/NixOS/nixpkgs/325417
https://github.com/NixOS/nixpkgs/333117
https://github.com/NixOS/nixpkgs/351810
https://github.com/NixOS/nixpkgs/352266
https://github.com/NixOS/nixpkgs/354388
https://github.com/NixOS/nixpkgs/390107

Their merge commits are easy to find, however:

It seems the PRs were all created by github.com/srghma (also deleted)

Usually Github will replace all occurences of a deleted account with the @ghost user, as seen here for example: bitcomet: 2.10.0 -> 2.11.0 · Pull Request #355775 · NixOS/nixpkgs · GitHub

None of the PRs were archived by the Internet Archive.
But there is a recent archive of the user account: https://web.archive.org/web/20250126104510/https://github.com/srghma (there is a newer archive too, but it has an explicit title)

Does Github have a special deletion procedure they apply only very rarely?

2

In short, yes. We’ve seen this happen before with a major contributor.

3 Likes