GitHub removed all my nixpkgs notifications and unsubscribed me from all the nixpkgs PRs and issues (4k+) 
So ping me directly in PRs and issues which I haven’t been in since ~Friday, November 3rd, 2023 at 10:37 PM
I created a ticket a few hours ago, let’s hope they can fix it.
12 Likes
(For the record, my like — and I hope this is equally true of any future likes here — is not an approval of the GitHub action described, but sympathy to your annoyance and approval of your efforts to work around the things)
5 Likes
It’s not just nixpkgs but all NixOS org repos