)]}'
{
  "commit": "b833e170f3c5bc94efd570f8a2486b9250d40d1b",
  "tree": "8bcaf95a36a1246cd9acb0dd2f9aa73ff06b6ca8",
  "parents": [
    "2c6d634127d5f44ecb7410f89ffcdd1c8d75a3da"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Apr 23 14:36:18 2025 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Wed Apr 23 14:36:18 2025 +1000"
  },
  "message": "feat: add List.eraseDupsBy and basic lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8755d11cbf1689111a04d70716d83846f61675c2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "1da597836dd2720f9c7e6a528e0eef0aaf5e05d0",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a3489dd7b5bb4174ac10529719608e599fafccc2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Lemmas.lean",
      "new_id": "d6b717bb1dff502d7aff9e3c730daea69cc5740d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Lemmas.lean"
    }
  ]
}