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