Repository navigation

Describe DevKitCIoT's Registry Notes After Its Promotion - #3927

Merged

ptr727 merged 3 commits into

feature/devkitciot-notes-promoted

Nov 7, 2026

Merged

Describe DevKitCIoT's Registry Notes After Its Promotion#3927
ptr727 merged 3 commits into
developfrom
feature/devkitciot-notes-promoted

Commits on Nov 7, 2026
- Describe DevKitCIoT's Registry Notes After Its Promotion
  
  ptr727
  and
  claude
  committed
  f9455ed
- Keep Only DevKitCIoT's Current Deviations in Its Registry Notes
  
  ptr727
  and
  claude
  committed
  82dfed0
- Narrow DevKitCIoT's Notes to Its Two Lasting Deviations
  
  ptr727
  and
  claude
  committed
  6839bf7