Skip to content

ci: mirror linked issues' priority label on PRs - #13127

Merged
julian-risch merged 5 commits into
mainfrom
ci/sync-priority-labels
Oct 7, 2026
Merged

ci: mirror linked issues' priority label on PRs#13127
julian-risch merged 5 commits into
mainfrom
ci/sync-priority-labels

Shorten workflow comments

56123b8
Select commit
Loading
Failed to load commit list.
Vercel / Vercel Preview Comments succeeded Oct 7, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved.

View more details on Vercel