Repository navigation

Require the DevKitCIoT Pull Request Check and Refresh Its Registry Entry - #3923

Merged

ptr727 merged 4 commits into

feature/devkitciot-registry

Nov 7, 2026

Merged

Require the DevKitCIoT Pull Request Check and Refresh Its Registry Entry#3923
ptr727 merged 4 commits into
developfrom
feature/devkitciot-registry

Commits on Nov 7, 2026
- Require the DevKitCIoT Pull Request Check and Refresh Its Drift Notes
  
  ptr727
  and
  claude
  committed
  bb4ccf2
- Say Which DevKitCIoT Branch Carries the New CI
  
  ptr727
  and
  claude
  committed
  403c11a
- Declare the DevKitCIoT Description
  
  ptr727
  and
  claude
  committed
  cdfe665
- Say Which DevKitCIoT Branch Carries the Vendored Library
  
  ptr727
  and
  claude
  committed
  3d993a3