)]}'
{
  "commit": "f3fc1d1a08321d69a7dd10dbd82ea25dbf757408",
  "tree": "37591ade8ccd3dfc32897d58172540e5b7799af1",
  "parents": [
    "5f59d7f7b4b2f15a2af2296a3dbc5ff572686de6"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Wed Jan 31 13:52:01 2024 -0800"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Wed Jan 31 19:06:23 2024 -0800"
  },
  "message": "feat: List.toArray def equal to Array.mk\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d75bba4e0dfaf10123439d8de8fc5002fe98cca3",
      "old_mode": 33188,
      "old_path": "src/Init/Core.lean",
      "new_id": "928de0245b537d6f1a4ce35e9c081a7474870008",
      "new_mode": 33188,
      "new_path": "src/Init/Core.lean"
    },
    {
      "type": "modify",
      "old_id": "5d490c7689bf8a80f9ed27719445bfe7d0ff5838",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/BasicAux.lean",
      "new_id": "e70842e17d03344cabbb32936c5af2999d693006",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/BasicAux.lean"
    },
    {
      "type": "modify",
      "old_id": "62c693e89d31075f8756d08bd7bc829ebcddeae2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "23bf70931dc3a558a0ae246ca3dc7cd76fff6737",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "9b06a789b75aede29ecace5a7e206bcc8edfac82",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "5576539e4b4895f2a4a83583c12c53a5a55f83ee",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2caa9c13b2c25a808519a46f1a68ac7c6174427d",
      "new_mode": 33188,
      "new_path": "tests/lean/csimpAttrToArray.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c8619b91e48b37fadb6bdc559a7b3806ca065345",
      "new_mode": 33188,
      "new_path": "tests/lean/csimpAttrToArray.lean.expected.out"
    }
  ]
}