)]}'
{
  "id": "d160fa4c73fec836ba7680b2babe69a0844f168b",
  "repo": "third_party/kernel",
  "revision": "fc87d893e2eebdefcdb88db94c968c8ffcb9e2d2",
  "path": "drivers/char/ipmi/ipmi_devintf.c"
}