)]}'
{
  "commit": "740e9570fd0d86718f447b12057bd8a9065c331f",
  "tree": "d910288092c78eb738c3fa0ca204bc5ebdeb54f9",
  "parents": [
    "ee0bcc83218db1b4bec707afa0f0d17362ec5bd5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri May 17 14:44:13 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri May 17 15:18:30 2024 -0700"
  },
  "message": "feat: pretty print `Array DiscrTree.Key`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4b6b882141fabc7e5483d39b498b40740e6757cb",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/DiscrTree.lean",
      "new_id": "45a60f526419784ff4a28c5022db72b8549edff4",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/DiscrTree.lean"
    },
    {
      "type": "modify",
      "old_id": "3a07e5c172d6cb3c7fb967c3d5ce1726376d0840",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Diagnostics.lean",
      "new_id": "23a8dba8ab1457153f41809766bddaeb5f007874",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Diagnostics.lean"
    },
    {
      "type": "modify",
      "old_id": "e387e573e37b91ebf5d12f28dcfbe3780803674b",
      "old_mode": 33188,
      "old_path": "tests/lean/run/4171.lean",
      "new_id": "4dec00f31428a2a3d7cf09d5c0d1839f28eb2989",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4171.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "a106207b85a531191366e0a9f300c997f427394b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/simpIndexDiag.lean"
    }
  ]
}