)]}'
{
  "commit": "a0a123d90b97e1296a662186ce7cfcd1189cf10d",
  "tree": "96c2cf016c8ed539cf3251c238fc4f47e58a5605",
  "parents": [
    "230f33570256016e658abe48cca9a08e411d9f4b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 25 11:53:08 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 25 11:53:08 2024 -0700"
  },
  "message": "fix: two functions with the same name in a `where`/`let rec` block\n\ncloses #4547\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d41c946ec4bf333e6da6082b5150469bc7a337e5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/LetRec.lean",
      "new_id": "7280682004196912b8b59bc36ee747e98aca7228",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/LetRec.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1787c7db5338caa4f3a34e58542432508af03f84",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4547.lean"
    }
  ]
}