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.
(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)
It’s not just nixpkgs but all NixOS org repos