)]}'
{
  "commit": "28cd14e261253349a0a259a6bff3a299a9fe9874",
  "tree": "283ded085ff7236588ba0dbe634ccd1ffabd857d",
  "parents": [
    "d0d31e509f5c7f08f21738e1f94f1b518138580f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Mar 31 09:32:47 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Mar 31 09:32:47 2025 +1100"
  },
  "message": "chore: List/Array/Vector implicitness changes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c75143fc88f38c9d3c1355f1c80bf333c43c9059",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Range.lean",
      "new_id": "702b935327a50343eb2d8fd446c1d0fe0362434a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Range.lean"
    },
    {
      "type": "modify",
      "old_id": "5ae3eca97de77de8b9aad4fb7def5e6831ba0020",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Count.lean",
      "new_id": "80902e6d09545395564eb65e2c694a976a048d39",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Count.lean"
    },
    {
      "type": "modify",
      "old_id": "e5f0930b77f6c8774279efbfc7cf18bcb7579b58",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/InsertIdx.lean",
      "new_id": "af2bf07c05f35e01b8c910b63f62c1380669062e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/InsertIdx.lean"
    },
    {
      "type": "modify",
      "old_id": "2c5cb1e38328828b59c9e44df5064bcbeca1a0c0",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Nat/Range.lean",
      "new_id": "766ad82ce618cdc050c2bd7431c134e64aff747d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Nat/Range.lean"
    },
    {
      "type": "modify",
      "old_id": "df4ac463982e1f7896720ef7daa3efe6d1ca350d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Range.lean",
      "new_id": "52e4cf777610574b92d1196cb53b0337729a2a56",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Range.lean"
    }
  ]
}