)]}'
{
  "commit": "9aebcaccc0509d1b4ee909b39f9b6b1608b2a14c",
  "tree": "9f5ca476450051d522d0df251cefb7c51cc9a9a4",
  "parents": [
    "84bf315ac89be67b13913fdb7a42c9e859a7638b"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Sep 05 14:48:12 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Sep 05 14:48:12 2023 +0200"
  },
  "message": "chore: profile unification/conversion checking\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0a860850761ee86cbc4cf91570dad0fd27a7e665",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "d0b01fa58636d47c91f6a06702094b2d261a31f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    }
  ]
}