)]}'
{
  "id": "9f60f1559e49926b161b2a5b472e30445f843c59",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/input/keyboard/Kconfig"
}