)]}'
{
  "id": "8bd82da3d7f9f2470fa151d7287553caa642e411",
  "repo": "third_party/verible",
  "revision": "e21098d65db940dde0e750a22d4c15bc99ad9922",
  "path": ".devcontainer/devcontainer.json"
}