)]}'
{
  "commit": "4b0f63e3a932a5f5953adbb609f9f1f9cedd4510",
  "tree": "638feb6a8b8fd9bd4c55354ecdcbba41eb5cfed8",
  "parents": [
    "5ef980d70d6a3af7910d4818565215b0751324d4"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 09:24:02 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 09:24:02 2024 +1000"
  },
  "message": "remove duplicate\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cf47f9bc7bdc5831c88f06c608da131c6a42b656",
      "old_mode": 33188,
      "old_path": "src/Init/Control/Lawful/Basic.lean",
      "new_id": "c4d4d71d4dbac8145ba669570427f019caa0a436",
      "new_mode": 33188,
      "new_path": "src/Init/Control/Lawful/Basic.lean"
    }
  ]
}