)]}'
{
  "id": "d3361228bb21a9e61f03c1f858f1dc45c3d590bf",
  "repo": "mojo-tools",
  "revision": "51d85c969c708594760f6b98ef31855653fea4e1",
  "path": "gin/dictionary.cc"
}