Repository navigation

fix(mobile): move Android PR filters into the header - #20204

Open

none23 wants to merge 3 commits into

pingdotgg:mainfrom

none23:t3/move-pr-filters-top-nav

Open

fix(mobile): move Android PR filters into the header#20204
none23 wants to merge 3 commits into
pingdotgg:mainfrom
none23:t3/move-pr-filters-top-nav

Commits on Oct 16, 2026
- fix(mobile): move Android PR filters into the header
  none23
  committed
  c2f03a0
- fix(mobile): align the PR header with chats
  none23
  committed
  1b07b80
Commits on Oct 19, 2026
- fix(mobile): move Android PR filters into the native header
  juliusmarminge
  committed
  b2be743