Skip to content

Expose mobile PR indicator labels to accessibility#3828

Merged
juliusmarminge merged 5 commits into
mainfrom
feature/mobile-pr-number-indicator
Jul 9, 2026
Merged

Expose mobile PR indicator labels to accessibility#3828
juliusmarminge merged 5 commits into
mainfrom
feature/mobile-pr-number-indicator