)]}'
{
  "id": "d9ed651f06ac3fe0aa1d53ca1b7f1e465c8478d7",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/usb/gadget/function/rndis.c"
}
