)]}'
{
  "id": "377fd4a6c55bde318e24f65ce7d35e62992a9fd1",
  "repo": "third_party/github/raspberrypi/pico-sdk",
  "revision": "b2832b3acb6f99c8eb78705989e2570bcef1bd3b",
  "path": "docs/footer.html"
}