)]}'
{
  "id": "d9a3fe2b74bf2fb17483257ac921f7d7dba132d5",
  "repo": "linux",
  "revision": "94824ac9a8aaf2fb3c54b4bdde842db80ffa555d",
  "path": "tools/verification/dot2/automata.py"
}