)]}'
{
  "commit": "c3a5086c2f4c911d96e260d5f178d9f05554d1b0",
  "tree": "bab0a5a510c31a7f907f46dd2bc899a0360fe69b",
  "parents": [
    "0d9d286141d0f5566b624941e793651c1997b174"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Jan 19 19:22:25 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Jan 19 19:22:25 2025 +1100"
  },
  "message": "feat: align List/Array/Vector.reverse lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b43fab63ca2383f3b1b0f2df6d0e97d094d74fae",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "506c6813f467cea45a5d1325b6a48a3cfc43c141",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6021842d3f58cb6c095604adb33d8ee79a90d965",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Lemmas.lean",
      "new_id": "b12146a9a091bae7a3c47198ddcf74dfe83f96da",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Lemmas.lean"
    }
  ]
}