)]}'
{
  "id": "825e6fbf606332e3a49e23808f61f1df1a57ae53",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "62f4a3133525d31914363bef8810c2b8f2c1ca62",
  "path": "include/board_example_config.h"
}