)]}'
{
  "id": "d695dc6a302a8b783885bec71208ff38063a7dbd",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "3d583847543034514be456f298c25364127a7185",
  "path": "include/board_pico_config.h"
}