)]}'
{
  "commit": "4a8086313085ae37f9340313c37552eb7f53d8a3",
  "tree": "b60f5e3d8e7ea735cb76fb53f4a58da8b599f9b5",
  "parents": [
    "4bd632bf76231aa8c5950a5c5f701a1090a69bfd"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Apr 17 14:41:39 2024 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Apr 17 14:43:24 2024 +1000"
  },
  "message": "suggestion from review\n\noops\n\noops\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4d926e83ad9d11053d58c2b32852c3c5e035de8b",
      "old_mode": 33188,
      "old_path": "RELEASES.md",
      "new_id": "b1e5936d15be80cdb458d02c6795fa112fa222c9",
      "new_mode": 33188,
      "new_path": "RELEASES.md"
    },
    {
      "type": "modify",
      "old_id": "853c39e6b7886fc2f9d65d192fecf74cfe591740",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Option/Basic.lean",
      "new_id": "e6344f03206bbc3aa7ea6a98a9e9ed06c6a25e77",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Option/Basic.lean"
    }
  ]
}