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