)]}'
{
  "commit": "e8221dc9adee1f8416d2304e2266baf8a3582751",
  "tree": "ecf2f7ce2c1d7e78d8a1a20f51133a434418f6b9",
  "parents": [
    "25b8f5d6862688f9c8173d6deb7e11df52cac2b9"
  ],
  "author": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Thu Dec 11 08:51:54 2025 -0500"
  },
  "committer": {
    "name": "Rob Simmons",
    "email": "rob@lean-fro.org",
    "time": "Thu Dec 11 08:51:54 2025 -0500"
  },
  "message": "Edit stdlib flags for stage0 update, refactor to get Verso doc comments, and add a test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cdfcc1386b8de73dd48edf0b934ce0b8ce5d3c0c",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "1b5126a68aaf9a169c96f6342c5947cdf8b573b7",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "cb70835466109221acbd77d8c8cd8b8eaadec842",
      "old_mode": 33188,
      "old_path": "src/Lean/IdentifierSuggestion.lean",
      "new_id": "f24b4b8c79cf9aa72f6d5ef06d6fa12f0d7ed446",
      "new_mode": 33188,
      "new_path": "src/Lean/IdentifierSuggestion.lean"
    },
    {
      "type": "modify",
      "old_id": "79a0e58eddae8d9204ad48029c570bc7c84302ad",
      "old_mode": 33188,
      "old_path": "src/stdlib_flags.h",
      "new_id": "0f2ee3e7a4fa549f9c322a433ceebda078c48788",
      "new_mode": 33188,
      "new_path": "src/stdlib_flags.h"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7b003fcb1f8e8dc797fc98ead7fa1628bda50d1a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/idSuggestPostHoc.lean"
    }
  ]
}