)]}'
{
  "commit": "55c58ab47b497cc74fddcec9d1c6cc6c85dde899",
  "tree": "e2252c15f3a08e1f600e5e5ae0f8c4d643eeeaba",
  "parents": [
    "c85b759b1aa6a370ab58fe48028aeded11c7aa76"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu May 14 19:02:48 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed May 20 11:18:23 2020 +0200"
  },
  "message": "feat: delaborator: do not set whitespace information\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4b02a918748240a43dc3ee696490885987a7e1a3",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Delaborator.lean",
      "new_id": "6d1e159663a37a7824a1a4d881a37d53d2094d84",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Delaborator.lean"
    },
    {
      "type": "modify",
      "old_id": "8231a0b21de933dc84a86f576dbb5d31a7fbcdac",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/Binders.lean",
      "new_id": "5f44fc04513f3f4f6e71647be9e40b46dd829efb",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/Binders.lean"
    },
    {
      "type": "modify",
      "old_id": "c8670e0ffc8bf6dd96482c388c8cc0257da6930e",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/Util.lean",
      "new_id": "9594f77402915e3c944df45cac5bab3d7469339a",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/Util.lean"
    },
    {
      "type": "modify",
      "old_id": "63531007637f2b2ee43380e1b209dfe7e5395185",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Syntax.lean",
      "new_id": "1ff8e957b53ff98c6a8f9d3c3d20503b35aab59c",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "c93741b2a8c46aa63311e0d8723b42d8b05d6299",
      "old_mode": 33188,
      "old_path": "tests/lean/run/CommandExtOverlap.lean",
      "new_id": "551984dfe507f83eb26c4765b7fb2d96766e31bb",
      "new_mode": 33188,
      "new_path": "tests/lean/run/CommandExtOverlap.lean"
    },
    {
      "type": "modify",
      "old_id": "befde5144656393c1f220e39da37e7e8cff0e644",
      "old_mode": 33188,
      "old_path": "tests/lean/run/tacticExtOverlap.lean",
      "new_id": "35a844170ae8c8168d67538ba6467566ffe8c298",
      "new_mode": 33188,
      "new_path": "tests/lean/run/tacticExtOverlap.lean"
    }
  ]
}