)]}'
{
  "commit": "64af278293ad502f92689771cbd3d13c40a23023",
  "tree": "2f2708a3b3caddc90ef20eeccfc5943b6fbdb91e",
  "parents": [
    "96adf04a62fcbd48b7ddc51829b76bd161153c73"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Sep 29 16:03:30 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Sep 29 16:03:30 2024 +1000"
  },
  "message": "chore: rename List.maximum? to max?\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "07b598891829f25b314173150d2b3a9b750b2a8e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "7bd1a9d4eabf4616a7d00478e747f51f8a7409ff",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "c07ac71c8cecbb55476fedc643fe52981ce4281c",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Impl.lean",
      "new_id": "79dca13384eaa29cda0b9355f5e2ff529b74cba7",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Impl.lean"
    },
    {
      "type": "modify",
      "old_id": "b746491e18aea005b8d903c2671ca15ce8ce0615",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "ed6e283b5755b9ab465769ebc14b1f111c91f3d9",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "b7432cb709fcf9b6ed0b6dfdefd6e8aaf0c2f98e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/MinMax.lean",
      "new_id": "08c37a1c4fecbd16d1d048f2c0edc4edd5face42",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/MinMax.lean"
    },
    {
      "type": "modify",
      "old_id": "4abd0d98d379600956d79cf00b9acd0d8beb429e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Basic.lean",
      "new_id": "fa760d499c184138a78d88ad6588cb2d37924cf3",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "1b41587538ec45963e3d0a4638a5af8f5bfe152f",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Omega/MinNatAbs.lean",
      "new_id": "f55330fe03a8f5a5692b7c6b16b34c0eea139e8f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Omega/MinNatAbs.lean"
    },
    {
      "type": "modify",
      "old_id": "361c37d39ca0d782127904db0ca9026156088e93",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "8a850b1ac12f666a13e34dd114521ff0869ce4be",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    },
    {
      "type": "modify",
      "old_id": "8c40b7ae1b912cd126e9f10c64ed8d5fc3ad3233",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/CNF/RelabelFin.lean",
      "new_id": "7790e45ba366149b8a703ec6fcc9ba58b5792062",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/CNF/RelabelFin.lean"
    },
    {
      "type": "modify",
      "old_id": "e62eb854d155495aaf2399af9209fe4793502866",
      "old_mode": 33188,
      "old_path": "tests/lean/run/list_simp.lean",
      "new_id": "6fd985face4c45f1b67fa09f16ac7a6f9b93f025",
      "new_mode": 33188,
      "new_path": "tests/lean/run/list_simp.lean"
    }
  ]
}