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.

  • Worth noting that you can hide Greenkeeper from search results by using the syntax -author:app/greenkeeper. AFAIK, there's no way to apply this to your notifications (sadly), but it's still a handy related trick. – Florrie Apr 2 '19 at 12:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.