)]}'
{
  "commit": "965ed02f86bcaf1bcc7ee2e6015ef175d0718501",
  "tree": "dfdde794a5991707c2aded4abc49b28105da5007",
  "parents": [
    "a7364499d24bc4cb73e71eb9e94b3cd44835698f"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Feb 08 10:39:55 2024 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Feb 09 11:57:58 2024 +0100"
  },
  "message": "feat: add `[builtin_widget_module]`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "86ac5a58df0e931c6df54c2545375a9a9311dfcd",
      "old_mode": 33188,
      "old_path": "src/Lean/Widget/UserWidget.lean",
      "new_id": "27b752d6db39d47b8407b6d3fdb9f697c254aceb",
      "new_mode": 33188,
      "new_path": "src/Lean/Widget/UserWidget.lean"
    }
  ]
}