)]}'
{
  "id": "071d0dd5a634977a74b792f313e9c93bdca8f28b",
  "repo": "third_party/kernel",
  "revision": "80b9fac18917cdba3d0f9147f85e2bcea3749927",
  "path": "scripts/gdb/linux/timerlist.py"
}