)]}'
{
  "id": "27b5e2bc6a0164ef6321e4caa613a51d09f5b91e",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/x86/Kconfig.debug"
}