)]}'
{
  "id": "ef3cfb269d8bce34091e1fde228da32821d41925",
  "repo": "linux",
  "revision": "0375ec5899a37e80af7be8e813548df3292325ff",
  "path": "drivers/clocksource/timer-prima2.c"
}