)]}'
{
  "id": "b6520085e2f800a8bf810dc104c373ee2e59bfc4",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "Makefile"
}