)]}'
{
  "id": "787dcb325faf1e052fc80e0da18f4c213871d3bb",
  "repo": "mirror",
  "revision": "e4fb0ddf78b06bb34c2a33d2e0507ecb0420a2c9",
  "path": "scripts/eigen_gen_docs"
}