)]}'
{
  "id": "a2b25418978244d1ae129cf74f031020951f35d4",
  "repo": "linux",
  "revision": "6f39ac4e20c6211c98e8d9da2d8c51100a77d1df",
  "path": "drivers/clocksource/arm_arch_timer.c"
}