)]}'
{
  "commit": "21eac95ecaca8510d69130b1ae892204d1c663cd",
  "tree": "ba2e2eac81eb29c58fd88241fb29cc68b9169b5d",
  "parents": [
    "2c6d634127d5f44ecb7410f89ffcdd1c8d75a3da"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Apr 23 12:30:18 2025 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Apr 23 12:30:18 2025 +1000"
  },
  "message": "feat: add List.findRev? and findSomeRev?, and simp lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8755d11cbf1689111a04d70716d83846f61675c2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "74fef679726e1fb6bcfa18dcac5c888c4d31457d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "8375154980e904c8e871143c32ec87266b486877",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Find.lean",
      "new_id": "3254f8276e290986658913b061c7f8dcfc3a36b2",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Find.lean"
    },
    {
      "type": "modify",
      "old_id": "4b2a120830a847f231c231f801ec4ff536c90f66",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Impl.lean",
      "new_id": "f2f2a54f61200cbf184cabd3280454d2f3254478",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Impl.lean"
    }
  ]
}