)]}'
{
  "commit": "47012526b933429392d9178b5f5de40305d72d39",
  "tree": "5dde69d1560d08a5045f901ed9918aea0eaaac74",
  "parents": [
    "9e4b47daf56f409d6719eb5ae43a705d865a7b93"
  ],
  "author": {
    "name": "Wojciech Nawrocki",
    "email": "wjnawrocki@protonmail.com",
    "time": "Tue Dec 06 20:04:44 2022 -0500"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 07 18:03:46 2022 +0100"
  },
  "message": "doc: document msgToInteractiveDiagnostic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "746437712e451ac662cf5093b18521288d5d464e",
      "old_mode": 33188,
      "old_path": "src/Lean/Widget/InteractiveDiagnostic.lean",
      "new_id": "0caefc299a7f3877d4df64ff2fd9ebed4dc209d6",
      "new_mode": 33188,
      "new_path": "src/Lean/Widget/InteractiveDiagnostic.lean"
    }
  ]
}