)]}'
{
  "commit": "44698774d7dde69e8780cc8d82c4e2752ec1d8a0",
  "tree": "1341d14e5a2680e32ffc70ab59a8a685f2fb26fe",
  "parents": [
    "f30ff6ae798447b7a2caa018e24ea8431b7d8112"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Aug 30 16:22:38 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Aug 30 16:22:38 2024 +1000"
  },
  "message": "chore: move @[csimp] lemmas earlier where possible\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ff1f9d55ad9583ed362b72c95d2d948f41eb18f7",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "4bfd0225b79919f8d0f336182df9bac1b14b9afa",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a2303a562d4f6868c8ab7ea44e0491c2d82a5340",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Impl.lean",
      "new_id": "79528b60078ce88bf9e704ed43ca624cfec67734",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Impl.lean"
    }
  ]
}