)]}'
{
  "id": "0e0f131301b40bdee4c722e92e8b1f0db0a4c982",
  "repo": "third_party/github/raspberrypi/debugprobe",
  "revision": "46b9613d1412e5c73c4e2af13d604dc21d85c402",
  "path": "include/board_example_config.h"
}