)]}'
{
  "commit": "61b5f04b8c286ea7dc5e1fcf1e5c137180358e4a",
  "tree": "7246c6a4785dffe20db96fac88ad9078461f35c3",
  "parents": [
    "98145ad8ba959de7e916374639ed017b90f3ae86"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Sep 03 17:38:55 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Sep 04 15:06:35 2022 +0200"
  },
  "message": "feat: syntax declarations in `mutual` inductive blocks\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "aeef19c15494f7ee3988265cb9487d92d12ef10d",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Declaration.lean",
      "new_id": "fe62ab40df7af4fd0b9cf6d62257f5f1b48accee",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Declaration.lean"
    },
    {
      "type": "modify",
      "old_id": "eb42dedbd7ce692f5e3899b3f28942233fd7cba2",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Syntax.lean",
      "new_id": "c9a1e7f6d05dd9044f7ef34f988a9fa7b8e309ca",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "acbc931596404acc420ba95567c6db119d86d870",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Util.lean",
      "new_id": "32c404913148a286d5fac2f8382858d213003f69",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "41f0058b748f36196e95f7edefd797ea699f7c8f",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Command.lean",
      "new_id": "082eb4ba957cd198a752837c291f13d85fdffd87",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "85a33bd3a6d9165826bdf60c97ac2d418f40f053",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extra.lean",
      "new_id": "aa4b3aae25e2225c9f424909c2d1f890d707e6d3",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extra.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0eb0c91956070076f9ba1fef81fff58900a6df40",
      "new_mode": 33188,
      "new_path": "tests/lean/mutualSyntax.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "2569fa3cdb9deb3f202c06b32eaf010b28f0b3d5",
      "new_mode": 33188,
      "new_path": "tests/lean/mutualSyntax.lean.expected.out"
    }
  ]
}