)]}'
{
  "id": "4ef08079ccfa9d0e68f046b3cb329e7e3efdf1ff",
  "repo": "third_party/kernel",
  "revision": "4a92a5b9f08eef570eeea72da3aec7ea7ded38bd",
  "path": "net/ipv4/tcp_timer.c"
}