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
Backend Linting & Formatting
succeeded May 8, 2026 in 14s