)]}'
{
  "commit": "5f8e1768f5dd15bbd91e051dc56e76dc83e00785",
  "tree": "e742c12175c7f3892b5f3943b1987536fb0493e6",
  "parents": [
    "325a05889351d6c7b3731364d76adb0d8921a29d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 11 16:36:38 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Sep 11 16:36:38 2024 +1000"
  },
  "message": "chore: restoring Option simp confluence\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dd196be56af31e56b00106b3c908708cf2a68a5c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Option/Lemmas.lean",
      "new_id": "390fafd402ac5908d09c422f9f85991ce06c2d88",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Option/Lemmas.lean"
    }
  ]
}