)]}'
{
  "id": "ef07c36bccf7ea1b4868853080ce6717e7818233",
  "repo": "third_party/linux",
  "revision": "57dfee7c3f1fcac24e986b69bdfdccc8ea025813",
  "path": "drivers/pci/hotplug/sgi_hotplug.c"
}