)]}'
{
  "commit": "a9ee57842129445d1043c369c8f89cbae4182bee",
  "tree": "8bf92a341c5c844cc3187ea5d0cad5aa14c7a3ee",
  "parents": [
    "c4c6fa0e8bb5319522f8d9ebae31e2382a8b2c40"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Aug 26 06:26:41 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Aug 26 06:32:19 2024 -0700"
  },
  "message": "chore: fix rebase issues\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "882ffe287da4ab3a7151fd429cbe06fa06f78fec",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Erase.lean",
      "new_id": "07b8f8f91871b03279f587ac5a27b9f2fe8d6dd7",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Erase.lean"
    },
    {
      "type": "modify",
      "old_id": "7afcd26af638ceb5e1843aa2ec5597a3b8b9177e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Range.lean",
      "new_id": "aec8583b22a47fa5f7503bdcad1065f897c5a1e1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Range.lean"
    }
  ]
}