)]}'
{
  "commit": "b90fc5b7b552293a9fe4db57c16474e7855c1bd9",
  "tree": "abd72aee5ba7874fbe083896e1b993411935c166",
  "parents": [
    "eeae29c1260bdfacacfa00d58b4deb8ef9c52460"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 23 12:21:02 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 23 12:21:02 2024 +1000"
  },
  "message": "semireducible\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f7049441cf9d64273f228ca2414a3bc0b98395e9",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Basic.lean",
      "new_id": "fe26d7b03dcaab6ca4cc283a5db3a241ea26954b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "f22cae1132db063d83d8ccb6f2f55458e85a5b11",
      "old_mode": 33188,
      "old_path": "tests/lean/run/array_isEqvAux.lean",
      "new_id": "029b6a4edadd3de83efc6b6cb6db4da8fbebf298",
      "new_mode": 33188,
      "new_path": "tests/lean/run/array_isEqvAux.lean"
    }
  ]
}