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