)]}'
{
  "commit": "e2cfaf4650f1916fd2ed4ebe9184d6ed9a1b9cf4",
  "tree": "e3b6ced831e874cd47c7c2d7532dd44de98a2fa5",
  "parents": [
    "6303c134a9c6fd24fefe43f3c8426ebf3a314af6"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu May 06 12:28:57 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu May 06 13:16:33 2021 +0200"
  },
  "message": "feat: add `constructor` tactic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "685cdb7096f7007278ad68a6ed73d9a2733aa54e",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "8ee8da61ac62597ccde809819e3d6a8d6975b83b",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "3d7e6900d9f5f378afa410616f366e00c038c45a",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/ElabTerm.lean",
      "new_id": "7368b0cddcdcea179333fe96a03d6944fd2a3fb4",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/ElabTerm.lean"
    },
    {
      "type": "modify",
      "old_id": "14fbf517995b5d9cef2a1053d3c94572d050acc1",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Constructor.lean",
      "new_id": "373038c167a2e49b1b2f5db374adefc4d3cafb27",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Constructor.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f3247cc3dffca371bcd5d043a3d2a2220a3e0946",
      "new_mode": 33188,
      "new_path": "tests/lean/constructorTac.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5d9cc1b3c1441d6f99f8e44ce527747cefcdf2ae",
      "new_mode": 33188,
      "new_path": "tests/lean/constructorTac.lean.expected.out"
    }
  ]
}