)]}'
{
  "commit": "0b9c3c776db0b685d69f87734b9766a86784393f",
  "tree": "c279f91d4b45492e2e1fd7becaabc5a96a9ca870",
  "parents": [
    "93ee59b791a8ac8abb996bcd20d6646a87afad78"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 13 17:50:42 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Aug 13 17:50:42 2020 +0200"
  },
  "message": "refactor: move Lean.PrettyPrinter.Parenthesizer in between Lean.Parser.Parser and Lean.Parser.Extension\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c9129e244ed4e2499ec4a5dd34498726340be7d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Extension.lean",
      "new_id": "00c287212c722af7d42deae8ac7692c4058f056d",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Extension.lean"
    },
    {
      "type": "modify",
      "old_id": "6aacb97d804d3d99dc71e2888bd3b8e070f70782",
      "old_mode": 33188,
      "old_path": "src/Lean/Parser/Parser.lean",
      "new_id": "e04d58825ece44b1ff8face98367061f6ed3d64e",
      "new_mode": 33188,
      "new_path": "src/Lean/Parser/Parser.lean"
    },
    {
      "type": "modify",
      "old_id": "0507907d7681c7edcf5f60a989c481bdd1ee651a",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Parenthesizer.lean",
      "new_id": "e9757e3da1f4f6f100fbec6d3e3d6c68f2d81984",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Parenthesizer.lean"
    }
  ]
}