)]}'
{
  "commit": "9790a6f335c8bf5a5e80d8d50462a19e7f3d774f",
  "tree": "c9982bdf82d7ab7144490a5c855bd855f82f1b8a",
  "parents": [
    "738435b90aaa251a731cc463d6e49560f2037df9"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 23 13:30:16 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 23 13:30:16 2024 +1000"
  },
  "message": "feat: refactor DecidableEq (Array α)\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "78ff78e65cd2bc8a88e3f7dc8338bc104136f2e8",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/DecidableEq.lean",
      "new_id": "567a7c25a1de2867fefe64342b23a3898a557e6b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/DecidableEq.lean"
    }
  ]
}