)]}'
{
  "commit": "201467302655c274e52fb4e918a97a1c3fa0e5f7",
  "tree": "267902683eef27bad3ed4f30ff9bc576f81221f7",
  "parents": [
    "b7d311b81e0d86acb774392f43fe1b1aec20aaab"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Tue Dec 02 09:27:07 2025 -0500"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Tue Dec 02 09:27:07 2025 -0500"
  },
  "message": "update module test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dfe8e31af85e0be7851a1131e2db239296ef268c",
      "old_mode": 33188,
      "old_path": "tests/pkg/module/Module/Imported.lean",
      "new_id": "a9b398b2cedde14be4b5d0e7e2aa6eae77dfd95b",
      "new_mode": 33188,
      "new_path": "tests/pkg/module/Module/Imported.lean"
    }
  ]
}