)]}'
{
  "id": "baffeb960ff0b331eb646936b9d25e711042c694",
  "repo": "linux",
  "revision": "refs/heads/thibautp/hyp_proxy",
  "path": "tools/verification/dot2/automata.py"
}