Skip to content

ci: auto-update PR branches when main advances#5957

Merged
MarkusNeusinger merged 1 commit into
mainfrom
claude/auto-update-pr-branches
May 7, 2026
Merged

ci: auto-update PR branches when main advances#5957
MarkusNeusinger merged 1 commit into
mainfrom
claude/auto-update-pr-branches

Commits

Commits on May 7, 2026