Repository navigation

Update Porting page, move platform experts list there - #1839

Merged

encukou merged 8 commits into

python:mainfrom

encukou:platforms

Jul 1, 2026

Commits on Jun 17, 2026
- Update Porting page, move platform experts list there
  encukou
  committed
  34bf669
Commits on Jun 24, 2026
- Apply suggestions from code review
  
  authored
  aacfd49
- Switch to a table
  encukou
  committed
  45b88ad
- Split Android/iOS; fix Apple
  encukou
  committed
  a338919
- Add Ubuntu, move people, fix GH team role, ...
  encukou
  committed
  452d6e0
- Remove doko42; didn't respond
  encukou
  committed
  ed4b528
Commits on Jun 29, 2026
- Fix link
  encukou
  committed
  24fd582
- Move note up
  encukou
  committed
  1611b67