)]}'
{
  "commit": "496ee5d26e0479e625516cb57afeeb987c564fcf",
  "tree": "cc4ad471b8ec43a631fe50ce40a4ee513e198b33",
  "parents": [
    "93add442d4b621c7f9fc0da86c0b8a34b1d24944"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Jun 21 16:27:20 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Jun 21 16:27:20 2024 +1000"
  },
  "message": "fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dfd52a3da5837ed27e94938d3749525902694464",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "faee86f3133e6a577b4e501e3cbd6a5557e2a3b1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6e4cd6f0603052299ad8a963236ff060d5fa1150",
      "old_mode": 33188,
      "old_path": "tests/lean/run/list_simp.lean",
      "new_id": "e9aa0cd42a6571fc0358c46b1ebf6a54046b47b6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/list_simp.lean"
    }
  ]
}