Dependabot opens a lot of PRs. It would be good to be able to ignore PRs from the bot in the count of open requests.

The extension can currently ignore requests from GitHub teams, but not individual users (and listing dependabot[bot] there doesn't seem to work).