)]}'
{
  "id": "3be7bd8cd8cdeb6d03a0f03bd99235375c1dadf0",
  "repo": "linux",
  "revision": "fab974e6487475c2fca0a79918e8e75bd6bafffc",
  "path": "drivers/irqchip/irq-gic.c"
}