)]}'
{
  "commit": "5c120d443f12b722cdadf2e2585e76de506f7bdd",
  "tree": "1fa4e50ecf50ab50b4b4ae990e6ab1222664ad1c",
  "parents": [
    "9488a717aed6aa753a8c50252d898359f18561ee"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 01 17:21:24 2024 -0700"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Mon Apr 01 17:21:24 2024 -0700"
  },
  "message": "chore: typo\n\nCo-authored-by: Mario Carneiro \u003cdi.gama@gmail.com\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5f12b40d25787b2ea2f9a47c6167b4bdb73331ec",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Types.lean",
      "new_id": "15a05662f0ef29ad99901b5d926fa4a9bec0084e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Types.lean"
    }
  ]
}