)]}'
{
  "commit": "3be678c88a2000da9d67896c4497d1c49bca168a",
  "tree": "dd98683b7863ebee3ef5ee8ce4848f76b0c097a4",
  "parents": [
    "de9b419f375f0125b92bf8833d19c254a99f3b98"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 18 17:00:25 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Jun 18 17:00:25 2024 +1000"
  },
  "message": "restore newly-confluence #check_simp\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "351a535f14ca9c8ec42e04159817373007af46a1",
      "old_mode": 33188,
      "old_path": "tests/lean/run/list_simp.lean",
      "new_id": "b90d955c63998fa19f13d20504c581b96dfbf8fd",
      "new_mode": 33188,
      "new_path": "tests/lean/run/list_simp.lean"
    }
  ]
}