)]}'
{
  "id": "5bb2859c828584973c8dae961540a368858e4991",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/platform/x86/alienware-wmi.c"
}