)]}'
{
  "commit": "b1caa62762c04c1faef7951c0151794626196619",
  "tree": "d6fcf096db2853138e88e2568b7aef67b22a34b0",
  "parents": [
    "8c91ad252234656d645f444f207060f0cb35da4a"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 26 14:32:46 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 26 14:32:46 2020 +0200"
  },
  "message": "fix: manually add missing parentheses in edge cases\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "15f9a72a6f54a44da478639622cdc8758d35ea2b",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Attributes.lean",
      "new_id": "754fec8e28a5637708de833768f127643af91f32",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Attributes.lean"
    },
    {
      "type": "modify",
      "old_id": "cd11e390b36d27fcc3bf530db1bb0191f1e8ed26",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Compiler/IR/Boxing.lean",
      "new_id": "3b02a648ca0a24b49c0b793fad28ca73be730cf2",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Compiler/IR/Boxing.lean"
    },
    {
      "type": "modify",
      "old_id": "e620d3c73209bedef248587dce37d4f2b92329e2",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Elab/Term.lean",
      "new_id": "349fc29d2c748579282b66cc1038965d45978a4b",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Elab/Term.lean"
    },
    {
      "type": "modify",
      "old_id": "4d07dd79a39f043f6654f1d8de108760a6b7c1d6",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Meta/AbstractMVars.lean",
      "new_id": "a726fd5ca396c6750cc65c2853912dafef914834",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Meta/AbstractMVars.lean"
    },
    {
      "type": "modify",
      "old_id": "5e9da4461f34daff28898b57d915382306e8f571",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Util/Closure.lean",
      "new_id": "0e51a8183f7d4032b0643da288f5d8a9244da99b",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Util/Closure.lean"
    }
  ]
}