Wolfgang Walther df6a9a739d ci/github-script/bot: disregard bot and ghost approvals ...

We technically counted bot approvals and approvals by deleted users for
the approval labels as well. The former don't exist, yet, but if they
were, I don't think we'd count them. The latter should arguably *not* be
counted, because we can't tell anymore *who* approved, so we can't put
any weight on it as reviewers.

This simplifies the logic, too.

2025-11-05 21:42:28 +01:00

25 KiB

Raw Blame History

View Raw