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