)]}'
{
  "commit": "eeab4395190bf291fdbce37c5170a1cfbae0b59a",
  "tree": "41a4d4bf8aa5e4d16b8eb0f7f772245d338e8eb5",
  "parents": [
    "0a2c79a94ba44ffb69eea494edebf360559c60db"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "robsimmons@gmail.com",
    "time": "Mon Oct 26 13:17:13 2026 -0400"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "robsimmons@gmail.com",
    "time": "Mon Oct 26 13:21:31 2026 -0400"
  },
  "message": "wording\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bd6c0de2c55fa531e70bc8d3bf396c0961da95e1",
      "old_mode": 33188,
      "old_path": "tests/elab/discrtree_model_2.lean",
      "new_id": "974a3d4fd56d71063d6e228eb0e200a9805d9d7b",
      "new_mode": 33188,
      "new_path": "tests/elab/discrtree_model_2.lean"
    }
  ]
}