)]}'
{
  "commit": "c1a20109e102f8ebe7fd4e6883a50f4481e7ffeb",
  "tree": "15934b06ae1467a93b3881b3463e03a753702733",
  "parents": [
    "cb5f7f54e33757b5ffc9a293295a16ff87f1194a"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Feb 24 12:19:02 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Feb 24 12:19:02 2025 +1100"
  },
  "message": "variables names, need to leave the linter on\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fa32db8c4c303fd09f4f36db39cd2083d5907717",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "594aab25c54e027e051a0514b57855d52d69067b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "4cd115c235f63e3ffd580c220cd0f31de963fd48",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "811a9b35232d95e557ac7b5345f031db85e8f269",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "bf56c96d1915279451c8f0db3d770a409c23a93f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Basic.lean",
      "new_id": "0ed4b0d037fcabd154a7a85b2a4e91d668d183e4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Basic.lean"
    }
  ]
}