Comment by distortionfield

I understand the need for this tool but it says a lot about how broken GitHub’s own notifications system is.