)]}'
{
  "commit": "25f48be47daeeb801f2c3f2c7a0c8cd102c255fa",
  "tree": "97e676612355393a67a2e5306b61554b3111f162",
  "parents": [
    "13bcbce14482021910fc6b9a621bf687eebd8006"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 24 17:51:44 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 24 17:52:33 2022 +0200"
  },
  "message": "fix: nesting of pattern info nodes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fb4e053f86527ae6628c07eb2d69af241957bee2",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Match.lean",
      "new_id": "579cca517c2dafb09b2fe61827417d2f91d4c5a6",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Match.lean"
    },
    {
      "type": "modify",
      "old_id": "f055e01b7b8c30883020878da1b8dd4b934734c0",
      "old_mode": 33188,
      "old_path": "src/Lean/Server/InfoUtils.lean",
      "new_id": "c33d30106b25e6a885b735588600a517d07cd448",
      "new_mode": 33188,
      "new_path": "src/Lean/Server/InfoUtils.lean"
    },
    {
      "type": "modify",
      "old_id": "179a3b2c76d48d4604a26500520714204fbadea5",
      "old_mode": 33188,
      "old_path": "tests/lean/1018unknowMVarIssue.lean.expected.out",
      "new_id": "828d782687df8f3fe3573ddf4c551efb2590d71e",
      "new_mode": 33188,
      "new_path": "tests/lean/1018unknowMVarIssue.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "e5b83d4ae3bcc9fe839ae91e4017540d54c963c1",
      "old_mode": 33188,
      "old_path": "tests/lean/infoTree.lean.expected.out",
      "new_id": "ec11674a597420284ed36176cd7e0a1d2e8c3bef",
      "new_mode": 33188,
      "new_path": "tests/lean/infoTree.lean.expected.out"
    }
  ]
}