)]}'
{
  "commit": "94549fdf12a38a93ef8960ac0e286363ffb03c62",
  "tree": "6fa9a0fec2d148bbbe65af95aeeb0f231ce67dd5",
  "parents": [
    "adfd6c090ef7d6bdcc8f69c5dd6f919b1b71cab3"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Sep 13 11:20:07 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Sep 13 11:42:23 2024 +0200"
  },
  "message": "fix: inaccessible pattern vars reported as binders\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fdbe7a6c6b3a3f8b9cb7d61a18b3095f432db1d3",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Match.lean",
      "new_id": "48a2cd6a604d8033de3a6cf8c5ebe3fd327b68ec",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Match.lean"
    },
    {
      "type": "modify",
      "old_id": "aa285db063d90e296c4116a0aea0c7f94e582866",
      "old_mode": 33188,
      "old_path": "tests/lean/linterUnusedVariables.lean",
      "new_id": "3640b533ad9d16499f480f001860d06b1308f37e",
      "new_mode": 33188,
      "new_path": "tests/lean/linterUnusedVariables.lean"
    }
  ]
}