)]}'
{
  "commit": "6a69b7eb67aa08abad4453d54f67ee5bb9ff8e10",
  "tree": "2c0d2fa39c23483c3e483ca25bee04d1ceb83457",
  "parents": [
    "c5fd6527651b10121dc6d373cbc721d366bbe769"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 10:40:03 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 10:40:03 2024 +1000"
  },
  "message": "chore: reduce use of deprecated lemmas in Array\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3fea6f83ef185c47cb11dd6c52a394dc58699c19",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "e58bd271aeded03fb3773d3efd675c6b0166fcde",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "63eb91937ec5eb47d4cacf107ea749c28d3c9049",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "1cc35d1c22d30ca7d5643bfa8f1a85e6ddcaa7de",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}