Skip to content

ci: replace dead labels tool with ghaction-github-labeler - #727

Merged
MartinHjelmare merged 1 commit into
mainfrom
chore/update-label-manager
Aug 30, 2026
Merged

ci: replace dead labels tool with ghaction-github-labeler#727
MartinHjelmare merged 1 commit into
mainfrom
chore/update-label-manager

Commits

Commits on Aug 30, 2026