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.
I disabled notifications (in mobile view) from pullbot user made by pullbot service which is used to update my forks of repositories.