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