)]}'
{
  "commit": "ed534b96dbbc714c79e9572c7f16a005f8eb5ca3",
  "tree": "35706831536ae4ee31dd926267605bdfe2193a85",
  "parents": [
    "ff37e5d512efcd3981290270a2fc3ecb100bbd0c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 22 14:16:20 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 22 14:48:49 2024 -0700"
  },
  "message": "fix: `case` tactic in macros\n\nWe must erase macro scopes for tags in `case` as we do in `cases\n.. with ..` and `induction .. with ..`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8d9f9c77232d7ad6a930f545ac6ad0f85ad056ff",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean",
      "new_id": "2220f514aa0a31977c6d36479a130c32e217961d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/BuiltinTactic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2743033e43c69ffa1f4bb59c813ad8ae851270df",
      "new_mode": 33188,
      "new_path": "tests/lean/run/caseTacInMacros.lean"
    }
  ]
}