GitHub unsubscribed me from all nixpkgs PRs and issues

GitHub removed all my nixpkgs notifications and unsubscribed me from all the nixpkgs PRs and issues (4k+) :angry:

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

Got a response

I’ve flagged this with our notifications engineering team for investigation, we’ve received a couple of similar reports so it’s really helpful to have some more examples to share.
I’ll be back in touch once I have any updates, I apologise for the inconvenience and please take any steps necessary to resubscribe in the interim.

1 Like

Got a response on nov 16

I’m sorry to say that I haven’t heard back from our notifications team yet - I hope that you’ve been able to resume your work and keep track of items despite this issue.
As mentioned, we’ve seen a few other reports of this and I’ve escalated it internally, I just wanted to get in touch and let you know your ticket is still being looked at.

Another response

I’m afraid our team hasn’t been able to investigate the reports received about this issue.
As further reports have stopped coming through, it’s likely this was an intermittent problem that was related to the incident that occurred.
I regret that your notifications were affected and any inconvenience caused. I’d hoped we’d be able to investigate this further and potentially revert any impact however this is looking unlikely.