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

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

e2d19f7
Select commit
Loading
Failed to load commit list.