)]}'
{
  "commit": "a26ae1261a7964a60b30108ddd53c2a8d870ad34",
  "tree": "98996de0ab8a849c3da8ca77f83cb2f77a6f8db3",
  "parents": [
    "39f0fa670a35bd3cde79f8dee718083da25dad4f"
  ],
  "author": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Thu Mar 30 16:16:19 2023 -0700"
  },
  "committer": {
    "name": "Gabriel Ebner",
    "email": "gebner@gebner.org",
    "time": "Thu Mar 30 16:17:07 2023 -0700"
  },
  "message": "fix: respect pp.raw in interactive .ofGoal\n\nFixes #2175\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "edff58cfd558ac3611bd9ccd7a311bc4c439960d",
      "old_mode": 33188,
      "old_path": "src/Lean/Widget/InteractiveCode.lean",
      "new_id": "280ea1e53b046ec448ff5135ce040c0b6089c131",
      "new_mode": 33188,
      "new_path": "src/Lean/Widget/InteractiveCode.lean"
    }
  ]
}