)]}'
{
  "commit": "c9cf7ed8ceb99c4ec79e5368522b33e474d974cd",
  "tree": "c830d42754b5f32699c968b846d7eb113273f3f4",
  "parents": [
    "9f4075be723d8f426ba6bde4aee3390047279b12"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Sep 29 15:22:49 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sun Sep 29 15:22:49 2024 +1000"
  },
  "message": "feat: Array.eraseReps\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fdcf69f9c6fd2bda28c52c69d98c783fb8e89d5f",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "23101ce8fe2d44481855b26ed001f2a7ba87b0b9",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7db028d31b0dfe92d93ddc6668391e2b6b0b03b5",
      "new_mode": 33188,
      "new_path": "tests/lean/run/eraseReps.lean"
    }
  ]
}