)]}'
{
  "id": "9857329ed2804a6b3255bd402a73722b8ae33ecc",
  "repo": "third_party/linux",
  "revision": "d652e1eb8e7b739fccbfb503a3da3e9f640fbf3d",
  "path": "kernel/sched/cputime.c"
}