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