)]}'
{
  "commit": "24f5b925028a3ccbd4325bcd6464e2752e0fd7d0",
  "tree": "05622a2520f30629e334c82cbc2326a840db5bbb",
  "parents": [
    "e7a1512da8d6f9339766f3a269de56e546757fde"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 09 12:39:04 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 11 14:51:54 2023 +0200"
  },
  "message": "doc: one more `enableInitializersExecution` remark\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9ac26b66e4365ada92916a03019681eab0deaf08",
      "old_mode": 33188,
      "old_path": "src/Lean/ImportingFlag.lean",
      "new_id": "2a43538dd9b979cccd7d1f283d8b736ee0428076",
      "new_mode": 33188,
      "new_path": "src/Lean/ImportingFlag.lean"
    }
  ]
}