DefinitelyTyped / dt-mergebot

The bot which handles auto-merging your PRs
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
MIT License
112 stars 44 forks source link

Fix empty owners-to-ping in staleness comments #439

Open jablko opened 2 years ago

jablko commented 2 years ago

Motivated by a trivial cosmetic glitch (spurious /) in the Unmerged:nearly comment: Screenshot from 2022-04-25 11-31-23

It was introduced in a change that instead targeted this Unreviewed: comment.

The fix proposed here is, don't filter existing approvals out of Unreviewed: (and Unmerged:) pings. Instead, don't apply the unreviewed label/timeline to PRs that have reviews and are already in the maintainer queue.

The unreviewed timeline has two functions, I think:

  1. Bumping unreviewed PRs to the maintainer queue.
  2. Soliciting reviews (for PRs in the maintainer queue and ones that aren't).

It doesn't have a function if a PR in the maintainer queue has reviews?

The code already treats "unreviewed" as completely unreviewed vs. unreviewed by maintainers, I think:

This change: