)]}'
{
  "id": "b857a651647242d5bcd15e6c3e2939419f4d8bc7",
  "repo": "akaros",
  "revision": "cafc2613f8a65b5fe464e0fc70f41985b589e087",
  "path": "kern/drivers/dev/pipe.c"
}