Skip to content

Exclude summarily closed PRs from "new PRs" list#18

Merged
dbutenhof merged 1 commit intomainfrom
closed
May 8, 2026
Merged

Exclude summarily closed PRs from "new PRs" list#18
dbutenhof merged 1 commit intomainfrom
closed

Conversation

@dbutenhof
Copy link
Copy Markdown
Owner

In "new PRs opened", exclude PRs that were manually closed without merging: there's no point in acknowledging or counting these. They're either abandoned, or dependabot updates we didn't want.

Signed-off-by: David Butenhof <dbutenho@redhat.com>
@dbutenhof dbutenhof merged commit 904ff91 into main May 8, 2026
4 checks passed
@dbutenhof dbutenhof deleted the closed branch May 8, 2026 14:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant