)]}'
{
  "id": "0baa8fab4ea7af195589b73319c5712771a9821a",
  "repo": "third_party/linux",
  "revision": "94de7feb2dee6d0039ecbe98ae8b63bbb63808b6",
  "path": "drivers/char/ipmi/Kconfig"
}