)]}'
{
  "commit": "7575097bb695543555cc5c2519333879848b4189",
  "tree": "a3386676e33804f6c4d562d9e1af2a3d4426975f",
  "parents": [
    "9db8cc0957db24c70094e04aa518a538ec14b63a"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jun 12 20:42:29 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jun 12 20:42:29 2025 +1000"
  },
  "message": "finish\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e8effe62ddaa13f520dfc0928df5396b7ec708ca",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Find.lean",
      "new_id": "67c876e24667e4c62da5db7e3bbda216531ef9ca",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "3c93ff46dc2c406ed6f1772da8122c2a98d2b8da",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "b5455b50d6e4b82b229664fbf0f652eb0c1ad062",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "c63e92a517e5d4cdf78a9ba9aa51082739dcfa6b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Find.lean",
      "new_id": "9ec77f23d5b086180d0de4557047ff7330558c80",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "ca3a445ecf96eded5d719842de91aec5f22c0081",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Impl.lean",
      "new_id": "35945951cca695e318a8048ed2a87d67d1738a81",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Impl.lean"
    },
    {
      "type": "modify",
      "old_id": "740277e762115bc89bc58f68dbbad89648dcf00b",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/Find.lean",
      "new_id": "77955187ed748e5fc18616b703c0942f83d65620",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "5349613e83b92e689cf6ab459315a56a5f2727b1",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_list_find.lean",
      "new_id": "3e8f8a7e55e3511a0362df67d64a72cffb5678f3",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_list_find.lean"
    }
  ]
}