)]}'
{
  "id": "da2dba8c95fed187d37dcf619f2ab994f76dab31",
  "repo": "upstream",
  "revision": "c074a35e7f174f1202f069ba3f81fe42e377351e",
  "path": "kern/drivers/dev/pipe.c"
}