)]}'
{
  "id": "170a64e67709304d7e425d7af16e853ca027ab35",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/net/wireless/Kconfig"
}