I'm watching a few GitHub repositories that each have a lot of dependencies. To assist managing all those dependencies, the owners of the repositories use Greenkeeper, which creates a pull request whenever there's a new release of a dependency out. I watch the repositories so that I get notified of new discussions; those are what interest me. Greenkeeper pull requests do not interest me. Is there a way to somehow automatially ignore them?
I figured I might try blocking the Greenkeeper bot user, but I'm honestly not sure such a user exists. The user "greenkeeper" is just a user, not attributed to any PRs; git commits from the bot say they're authored by "greenkeeper[bot]", but that's just a 404.
To be clear, I don't get email notifications from GitHub at all. I use GitHub's /notifications page instead, and I'm looking for a way to filter what shows up there. My current workaround is to click the "mute" button in the notification listing, which works but is a little inconvenient.