)]}'
{
  "id": "93e39c4096a927bf8b6737b298f875b1ebf2583a",
  "repo": "third_party/linux",
  "revision": "8e63197ffe7750c94c8ea9d159ce3e46a76bfcf2",
  "path": "drivers/pci/hotplug/cpqphp_pci.c"
}