)]}'
{
  "commit": "82c9ac9e2983a5437b4ef64ed261cf7d6dc62375",
  "tree": "071fc625308187bbd3835fe51610326bd025fa10",
  "parents": [
    "7150a0d5389788e0985705f163e335c7442a2aba"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Oct 25 15:07:32 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Oct 25 15:07:32 2024 +1100"
  },
  "message": "chore: minor fixes in Array lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2df2a3129179654202ea252ff053fc448fa514cf",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "3ba16ef081a8c06939fd7c70a4ff7b496a8abe21",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    }
  ]
}