piegames on Nostr: FWIW, in Nixpkgs the release managers sometimes have to ping more people than GitHub ...

FWIW, in Nixpkgs the release managers sometimes have to ping more people than GitHub allows and then have to split it up into multiple comments and hope nobody slipped