)]}'
{
  "commit": "3879d062476e138da6d4e489cb6d2a870ad5d0b9",
  "tree": "fa988630fa5a3af5baa719ed5433fe9b6b5561af",
  "parents": [
    "777fba495a1f54bafae6c6071bb359d127933879"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 27 10:41:37 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Feb 27 10:41:37 2025 +1100"
  },
  "message": "chore: reenable Vector variable name linters\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "374a86c649b6487b32f1353b9d5f7033d19bb8b7",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Attach.lean",
      "new_id": "56ada92c08614de2c50a2f97c8184ca5b6dfdb93",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Attach.lean"
    },
    {
      "type": "modify",
      "old_id": "24011697d0d019aabefbd275631d796cf9ff889e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Basic.lean",
      "new_id": "d15ea9d49452be27a1ab78c7ff3031f247ee686a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "60bcae8c6afb59e51b446a1c1d63b49648b13f93",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Find.lean",
      "new_id": "70f181c16c800eadb9e9c8f6196cbc6a25ef999c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "e71333cfb07d55c882bacabbbd0d6263a8bc7939",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "3b62572dbd00a0edc9215dc8a211a97741d02bf0",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}