)]}'
{
  "id": "97a7bd5a8e3b1f65d65b321074b18e252deafcb2",
  "repo": "third_party/linux",
  "revision": "1253a6aa5d104312bf0992afacc15220ae35bdf9",
  "path": "kernel/time/timer.c"
}
