)]}'
{
  "id": "c7ef735a5157ca62928ae767fe32739595f24163",
  "repo": "third_party/github/raspberrypi/pico-sdk",
  "revision": "12017a07abf49fb3767caee71c8cbcf391541cf6",
  "path": "docs/index.h"
}