)]}'
{
  "id": "f330d7dd0f01be1333e5e4fcd9c4f1b4c9a58c5a",
  "repo": "third_party/verible",
  "revision": "16d54aa72c6b73c1c336e2f918b9f2c643dc01ce",
  "path": "common/formatting/verification.cc"
}