)]}'
{
  "commit": "84d346712471635b9656d3fb981a55643f164c79",
  "tree": "41cf29ee5116f4ebe7ebe23a71c60e55808f4916",
  "parents": [
    "b108dfc90a6fc2e857e5c5872e2046fb1cf08beb"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 05 16:06:26 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 05 16:15:18 2020 +0200"
  },
  "message": "fix: formatStx\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d151f53d04ffbbdfefa42eb9cb0da63bc3d32d94",
      "old_mode": 33188,
      "old_path": "src/Lean/Syntax.lean",
      "new_id": "f853013e1d1779add2b08213eaef574d0acc6203",
      "new_mode": 33188,
      "new_path": "src/Lean/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "e2a144591392b3f3b775eee5ed5c3cab4a4cc853",
      "old_mode": 33188,
      "old_path": "tests/compiler/termparsertest1.lean.expected.out",
      "new_id": "3857bb9fb38ed97a4d673726fd8b32b07597be52",
      "new_mode": 33188,
      "new_path": "tests/compiler/termparsertest1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "d510263edfe45e8002495d03e75be45928937ed7",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean.expected.out",
      "new_id": "f3d4c4918949908a33dfb02a9200e70cd1ce9c67",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean.expected.out"
    }
  ]
}