Skip to content

build: add workflow and script to label PRs with merge conflicts#9461

Merged
kgryte merged 4 commits intodevelopfrom
philipp/label-prs-with-merge-conflicts
Jan 4, 2026
Merged

build: add workflow and script to label PRs with merge conflicts#9461
kgryte merged 4 commits intodevelopfrom
philipp/label-prs-with-merge-conflicts

Commits

Commits on Jan 3, 2026