)]}'
{
  "id": "9056a8c9faaa0925839ea67e43a7b7829a3a18d7",
  "repo": "linux",
  "revision": "refs/heads/dev-4.13",
  "path": "drivers/char/ipmi/Kconfig"
}