)]}'
{
  "commit": "dd1c61ad0659b30e090a423398e2b78e73b45ac4",
  "tree": "f7ad4ba0eb28c6e7c6b654deba3082f41d80e5c7",
  "parents": [
    "b3a31da276555d9f672b470b631e742ab65e387e"
  ],
  "author": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Jul 15 09:13:22 2026"
  },
  "committer": {
    "name": "Andreas Rossberg",
    "email": "rossberg@mpi-sws.org",
    "time": "Wed Jul 15 10:00:27 2026"
  },
  "message": "Tweak doc\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "15fe69357cd39bc60fbc0a7243d7a293fd5684ea",
      "old_mode": 33188,
      "old_path": "document/core/appendix/implementation.rst",
      "new_id": "43baa84e20e0ff1fbf609d02e5428e7abfb20fb1",
      "new_mode": 33188,
      "new_path": "document/core/appendix/implementation.rst"
    },
    {
      "type": "modify",
      "old_id": "652c31c80ae2e73c6a0d9d9c0f4a5a06b359af09",
      "old_mode": 33188,
      "old_path": "document/core/exec/instructions.rst",
      "new_id": "a98869ba90170dfdd74e366e00b77c791e15ee36",
      "new_mode": 33188,
      "new_path": "document/core/exec/instructions.rst"
    }
  ]
}