)]}'
{
  "commit": "4bc31730a88ce9b551fb129195fb4630f6ea67e0",
  "tree": "3aa6645f3d2263031f9bf493a1e4ccc2d49a65f5",
  "parents": [
    "0652a8fa8028f29ae41d2936d9b8321a6600ef7c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 10:18:05 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 10:18:05 2024 -0700"
  },
  "message": "fix: macroscopes at \"unknown universe level\" error message\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9734cac1ee45677d87c6214b865bfb9817f18a0b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Level.lean",
      "new_id": "cfeb5c74bfa167a185acce2a99b687b8c1365d4d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Level.lean"
    },
    {
      "type": "modify",
      "old_id": "a9e01818f77a64e9cc8b44230f514d178d0ea431",
      "old_mode": 33188,
      "old_path": "tests/lean/run/4310.lean",
      "new_id": "bfb2340d8bae265960735640d28a4ca2128f5d5f",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4310.lean"
    }
  ]
}