)]}'
{
  "commit": "e8cf0866410d47cd5b8b0367465631a68c438eda",
  "tree": "59079262c3be2cdf42478f395678c9401c7db2bd",
  "parents": [
    "4bb07c1d47e141f8ce09632d8b0b06aaa31b5ddf"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Oct 16 19:12:47 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Oct 20 09:50:54 2020 +0200"
  },
  "message": "fix: synthesize pretty printers early\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "660fcf02e6938dd867d00998e2438396f5c71ea7",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Basic.lean",
      "new_id": "57f7be29100f0ea0b65110d0864ff48e18542567",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Basic.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "243923da9cca6a824095de3d484e85e7a0117ee1",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extra.lean"
    },
    {
      "type": "modify",
      "old_id": "dc27da6c61afcf86f24ad374bebe8e477179d9c8",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Level.lean",
      "new_id": "39817023c2ba3349f1b2e6dc8f40957a8ea6d77b",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Level.lean"
    },
    {
      "type": "modify",
      "old_id": "5694b50d28b4126b6a313e96d8452b9871dc9c13",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Module.lean",
      "new_id": "4a176af345d22a4ea77948cdd5b16367cd14e973",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Module.lean"
    },
    {
      "type": "modify",
      "old_id": "b07d85f2ae621ff590e732962e8a9421acf88155",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Tactic.lean",
      "new_id": "a21f913ea8f4966e7dd07b44e723e77fe0a5a4a7",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Tactic.lean"
    },
    {
      "type": "modify",
      "old_id": "ade9c2c3d3a6e89c6e483d2b0917b51012c2134f",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Formatter.lean",
      "new_id": "3f78b4a43db35c90deb0cbd4bdc2c0a6572fc52b",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Formatter.lean"
    }
  ]
}