)]}'
{
  "id": "382b28f1cf2f6daf922236e827a2abce1bc73940",
  "repo": "third_party/kernel",
  "revision": "4a92a5b9f08eef570eeea72da3aec7ea7ded38bd",
  "path": "drivers/char/ipmi/ipmb_dev_int.c"
}