)]}'
{
  "commit": "bdd0c5b6f4349b12fcea42630c5d66b8dfe005e4",
  "tree": "045c4cc43208c316b165bc806497841ca1dc5fe4",
  "parents": [
    "95207f319e7ddeb596716bc525fdb08e51495eee"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Dec 10 20:09:02 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Dec 10 20:09:02 2024 +1100"
  },
  "message": "fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cacefc89be045493be5305620de18121248285bc",
      "old_mode": 33188,
      "old_path": "tests/lean/run/wfOverapplicationIssue.lean",
      "new_id": "55dda3ae009c5e03d4c0d5eaddfa554f928facb2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/wfOverapplicationIssue.lean"
    }
  ]
}