)]}'
{
  "id": "82828d3a4739aa601a0690a6ac6963a7336805e3",
  "repo": "arm/linux",
  "revision": "fcf59f1ff525bc6400a893e2a0820afcf815f4c3",
  "path": "drivers/clocksource/bcm2835_timer.c"
}