Skip to content

Check branch name when PR is closed.#429

Merged
Jelmerdw merged 1 commit intomainfrom
hotfix-pr-closed
Apr 1, 2026
Merged

Check branch name when PR is closed.#429
Jelmerdw merged 1 commit intomainfrom
hotfix-pr-closed

Commits

Commits on Apr 1, 2026