Some of the GitHub repositories I'm watching use automated bots that make lots of trivial pull requests. Is there a way to disable all notifications from these bots (I think they are GitHub apps)? Alternatively, is there a way to disable all notifications from a specific app or user? This would accomplish the same goal. I would still like to keep watching the repositories as there are occasionally non-trivial commits by humans.