Skip to content

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

Merged
dbutenhof merged 1 commit into
mainfrom
closed
May 8, 2026
Merged

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

Exclude summarily closed PRs from "new PRs" list

8e066fc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.