)]}'
{
  "commit": "c49ceadcc129a7dc1d8c73e88aff11c1bbccdc24",
  "tree": "534b75db20afaa8a4649c39376ee7e7d0fbe58ee",
  "parents": [
    "481894e95dddebfa9d4d0397899830a06b963ac7"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 22 16:02:11 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 22 16:02:11 2024 +0200"
  },
  "message": "fix: improper handling of strict-implicit section variables\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6558fa6fb6252090722bcfd770f4e36e7d170aaa",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinCommand.lean",
      "new_id": "f4d352eec856da3ebca300969fccb8af0a4f109a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinCommand.lean"
    },
    {
      "type": "modify",
      "old_id": "03c5673f3fe281f26e46035ffb3ab142868aabc5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "fb5638aeec917147f9c2d3b5d8801534bc26c58a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    }
  ]
}