)]}'
{
  "id": "4aad28480035582f0c4b99a973826597774d054e",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "scripts/Makefile.gcc-plugins"
}