)]}'
{
  "id": "c3a23ec3e76f71839fc54de06fea29c3c7ed96e9",
  "repo": "third_party/linux",
  "revision": "2c33156b2d2f5efe820d8efdd610fb168c9acf72",
  "path": "drivers/char/ipmi/ipmi_dmi.c"
}