Skip to content

PR interaction fixes - #70

Merged
saecki merged 2 commits into
mainfrom
pr-interaction-fixes
May 27, 2026
Merged

PR interaction fixes#70
saecki merged 2 commits into
mainfrom
pr-interaction-fixes

Only touch the "update" and "new" labels

9d8d848
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build
succeeded May 27, 2026 in 10m 0s