)]}'
{
  "id": "d79e75f1b69a2892f4cdf393f38a0b9abb1056a3",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "arch/um/os-Linux/drivers/Makefile"
}