)]}'
{
  "id": "1b5834ac6ca0e19aabb447f9a57249e747b8c44e",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/ptp/Kconfig"
}