11

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.

3 Answers 3

6

Alternatively, is there a way to disable all notifications from a specific app or user?

You can block a user, which would disable all notifications from that person (or bot).

To block someone, click the Block or report user on their profile page, then choose Block user.

enter image description here

4
  • 3
    Thanks! Unfortunately, I can't find a similar block button for apps.
    – Lassi
    Aug 10, 2018 at 8:22
  • @Lassi Do the bots/apps have unique names?
    – freginold
    Aug 10, 2018 at 11:49
  • 1
    I think so. Here's the main one: github.com/apps/renovate
    – Lassi
    Aug 10, 2018 at 15:37
  • This does not work with github-actions Bot. Feb 25, 2023 at 16:25
2

enter image description here

I disabled notifications (in mobile view) from pullbot user made by pullbot service which is used to update my forks of repositories.

2
  • i don't understand this. Isn't this just muting the repo, not the bots?
    – Ooker
    May 1, 2023 at 16:31
  • I think it helped previously, probably some GitHub bots/apps are installed on repo and do not act as separate user accounts
    – dkocich
    May 5, 2023 at 9:27
1

Afaik you can only remove bots from your own repositories, but you cannot silence or block a bot on someone else's repository.

We should maybe all report abuse for common bots, which maybe prompts github to add a feature to block others' bots. Another option would be adding this feature to gitlab, and promoting that feature on twitter, etc.

If you receive notificaitons by email then your mail client could drop all notifications by Dependabot or others. See https://docs.github.com/en/account-and-profile/managing-subscriptions-and-notifications-on-github/setting-up-notifications/configuring-notifications

I'm unsure if there is a web interface suitable to script removal of notifications, but maybe so since github provides its own android app.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.