pipeline(labels): strip gittensor:priority from issues a maintainer did not author (#9737) - #9862

Merged

JSONbored merged 3 commits into

mainfrom

feat/priority-author-eligibility-9737

Jul 29, 2026

Commits on Jul 29, 2026

pipeline(labels): strip gittensor:priority from issues a maintainer did not author (#9737)
JSONbored
committed
test(labels): cover the issues.labeled enforcement path end to end (#9737)
JSONbored
committed
fix(ui): add the label-policy docs page to the sidebar
JSONbored
committed