)]}'
{
  "id": "bada209998705732e488a9e5e4dbb0139a43ad90",
  "repo": "linux",
  "revision": "41f727fde1fe40efeb4fef6fdce74ff794be5aeb",
  "path": "drivers/pci/hotplug/sgi_hotplug.c"
}