)]}'
{
  "commit": "0b9dcc5c0b73c48aa49f871ac2a413e9ab1f64c1",
  "tree": "09a2c68e843c73fe702830a335c2d44b088b2d07",
  "parents": [
    "0b3877f0f7d63d5772695e7db23a2a8635a951f1"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Sep 15 12:12:58 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Sep 17 16:32:41 2020 +0200"
  },
  "message": "feat: activate new pretty printer\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c787d5794a784a6181b2c713b4d4c4fa2f2b7804",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter.lean",
      "new_id": "57469647f39ca77622a78b7feb2036e4bd8935a7",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter.lean"
    },
    {
      "type": "modify",
      "old_id": "8cf79557da4105a7ad91634bc66a272e47668d5c",
      "old_mode": 33188,
      "old_path": "tests/lean/appParserIssue.lean.expected.out",
      "new_id": "70dc265afa2a14b3d446dc7ba34e7a231329a1c2",
      "new_mode": 33188,
      "new_path": "tests/lean/appParserIssue.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "0bdb93a9297a6f57e9ffe7783866fe3811e6524d",
      "old_mode": 33188,
      "old_path": "tests/lean/auxDeclIssue.lean.expected.out",
      "new_id": "53d98060327a6271786ef7bd9c789aacf029ca77",
      "new_mode": 33188,
      "new_path": "tests/lean/auxDeclIssue.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "bf04222f960db52f687e47585602e0390fa45def",
      "old_mode": 33188,
      "old_path": "tests/lean/emptyc.lean.expected.out",
      "new_id": "74fcc14e0cf3ce6882514ad0bdcad5b40c8d62a8",
      "new_mode": 33188,
      "new_path": "tests/lean/emptyc.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "0f4b61e61a37d6c556af3e160214b942c1c805b8",
      "old_mode": 33188,
      "old_path": "tests/lean/evalWithMVar.lean.expected.out",
      "new_id": "73777b608dfcb8dcaa5150e2a82f0f12608ce04a",
      "new_mode": 33188,
      "new_path": "tests/lean/evalWithMVar.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "301ff4105746f24ab7618c714bd053c2c6bacdef",
      "old_mode": 33188,
      "old_path": "tests/lean/holes.lean.expected.out",
      "new_id": "ffd9df7dd1c7ae7117c67e157dd2b347bc78dbf0",
      "new_mode": 33188,
      "new_path": "tests/lean/holes.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "ca8e83bb2a38fb8dc390af8684614077eae78f5e",
      "old_mode": 33188,
      "old_path": "tests/lean/inductive1.lean.expected.out",
      "new_id": "518ee2c054c05a4d2b7d45ac23e355c5d6a9bc1e",
      "new_mode": 33188,
      "new_path": "tests/lean/inductive1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "2717ed81a4eae114f9e31d785f876cba750959be",
      "old_mode": 33188,
      "old_path": "tests/lean/match1.lean.expected.out",
      "new_id": "aae9d1e5f13ae9fda8286850243d6d90738b382b",
      "new_mode": 33188,
      "new_path": "tests/lean/match1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "d9eb3b40e9bfa0ab2336b70cd54dcf889859eb87",
      "old_mode": 33188,
      "old_path": "tests/lean/matchErrorLocation.lean.expected.out",
      "new_id": "7d9fb9f4b07c07811e587a67bf6cff8f485e00b9",
      "new_mode": 33188,
      "new_path": "tests/lean/matchErrorLocation.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "d539f46e75fd2c83ca7e22550d6c94bcccc1f2bb",
      "old_mode": 33188,
      "old_path": "tests/lean/namedHoles.lean.expected.out",
      "new_id": "aed9d11461ea3357a240e363124180787c728eb7",
      "new_mode": 33188,
      "new_path": "tests/lean/namedHoles.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "d3eea2ca2a650110ca49fe3a271be8d664cfb952",
      "old_mode": 33188,
      "old_path": "tests/lean/openExport.lean.expected.out",
      "new_id": "257f047a0d0e82080cf3508f97ef732cf75db03c",
      "new_mode": 33188,
      "new_path": "tests/lean/openExport.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "14d41bedefa88953e26e031286d3a1b15ae152b2",
      "old_mode": 33188,
      "old_path": "tests/lean/phashmap_inst_coherence.lean.expected.out",
      "new_id": "81a0cf99268265127bd8e881dd3d0c320d3d0818",
      "new_mode": 33188,
      "new_path": "tests/lean/phashmap_inst_coherence.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "a6d8e03dedd3e3840489e4a963a2c79a4750780e",
      "old_mode": 33188,
      "old_path": "tests/lean/precissues.lean.expected.out",
      "new_id": "30eb0c26e7e99148e166285a9759eb5969a5a092",
      "new_mode": 33188,
      "new_path": "tests/lean/precissues.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "913e3a898b7669a3683e0540fea43ed5f3b0affc",
      "old_mode": 33188,
      "old_path": "tests/lean/private.lean.expected.out",
      "new_id": "5a3ed01c76f48b9177ec6b2822643817f1490b4e",
      "new_mode": 33188,
      "new_path": "tests/lean/private.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "2d45ecaec6de0495be4bb93fa9f3d27245d4615c",
      "old_mode": 33188,
      "old_path": "tests/lean/protected.lean.expected.out",
      "new_id": "3c822dffbb6acf011b49a03c8c834943061f058c",
      "new_mode": 33188,
      "new_path": "tests/lean/protected.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "d6f58103fc31e2a68c26a1bd05e175272d3fa9a7",
      "old_mode": 33188,
      "old_path": "tests/lean/server/edits.lean.expected.out",
      "new_id": "64c1f42a5463afd4456b53cdc5e43a409ff9974c",
      "new_mode": 33188,
      "new_path": "tests/lean/server/edits.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "6dad7df6d2e354f5e08971554079fec69858df50",
      "old_mode": 33188,
      "old_path": "tests/lean/shadow.lean.expected.out",
      "new_id": "daf7da7ae1c0e8ef962a99c68de5d36c091ec32b",
      "new_mode": 33188,
      "new_path": "tests/lean/shadow.lean.expected.out"
    }
  ]
}