Add an option to un-ignore bots

[rpdelaney]

For instance, I'm interested in ancient dependabot PRs because that usually means CI is broken on main. We're also migrating from dependabot to renovatebot, so it would be useful if I could un-ignore specific bots (i.e. to find repos where dependabot isn't fully gone).

[rpdelaney]

There are different ways of achieving this. Off the top, you might create a configuration keyword to un-ignore specific users. If used, it would over-ride the bot-ignoring behavior. For instance, something like ignore_users: NOT dependabot NOT renovatebot. That wouldn't break existing configurations, and it would satisfy my user story.

You could also create a configuration keyword that means "all bots" so that a user who wants every bot to show up could do ignore_users: NOT %bots%, or ignore_users: %bots% NOT renovatebot etc.

[nedbat]

I added an include_bots: true setting that I think does what you want:

pip install git+https://github.com/nedbat/dinghy.git@nedbat/include-bots

Let me know if it seems right to you. I wonder if the bot users should be indicated somehow in the output?

[rpdelaney]

Yeah, that seems to do the thing.

I wonder if the bot users should be indicated somehow in the output?

It would be useful if I could group them separately. Maybe just bots: true means I get only bots? Then I could do this:

---
digests:
  - digest: humans.html
    since: forever
    title: Trussworks Humans
    items:
      - search: org:trussworks is:open archived:false no:assignee    type:pr
        title: Pull requests
  - digest: bots.html
    since: forever
    title: Trussworks Bots
    bots: true  # <-- 
    items:
      - search: org:trussworks is:open archived:false no:assignee    type:pr
        title: Pull requests

[nedbat]

I want to merge this as-is, and we can talk about bots: true (or whatever) in another place.

[nedbat]

This is finished in commit e732d95.

[nedbat]

This is now released as part of dinghy 0.15.0.