)]}'
{
  "id": "0796f938c4f0df3988bd1afbb30e5df8ce549f5e",
  "repo": "third_party/linux",
  "revision": "ade2ca2cbaf1452600d4b070e93004c007a4bb98",
  "path": "kernel/sched/cputime.c"
}
