)]}'
{
  "commit": "c77970a00fde4642a83a0ec9655e223e23654f11",
  "tree": "d01373b3c538d234aef8322a0058062c1b76b0a7",
  "parents": [
    "1aef9ac57652466fa3b27a3817ac648a71e62792"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri May 03 13:57:21 2019 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri May 03 13:57:21 2019 +0200"
  },
  "message": "refactor(library): remove now-redundant parentheses\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "609f1094ca7033289651e016b17dcac3828e2f22",
      "old_mode": 33188,
      "old_path": "library/init/control/estate.lean",
      "new_id": "7aa2b917bc0676bc07ad3218c47f356561999589",
      "new_mode": 33188,
      "new_path": "library/init/control/estate.lean"
    },
    {
      "type": "modify",
      "old_id": "5a77ccc565062b569532802039e4ac79f412ae0c",
      "old_mode": 33188,
      "old_path": "library/init/core.lean",
      "new_id": "c04946bdde2ff1bc1898c4eb40806f5088be1da4",
      "new_mode": 33188,
      "new_path": "library/init/core.lean"
    },
    {
      "type": "modify",
      "old_id": "6f6ecd524a970037afdd585f8fd335f2ec054280",
      "old_mode": 33188,
      "old_path": "library/init/data/array/basic.lean",
      "new_id": "f1f1a62538420f7dd0bb689eacc967fcfedaf34b",
      "new_mode": 33188,
      "new_path": "library/init/data/array/basic.lean"
    },
    {
      "type": "modify",
      "old_id": "7b3fe0c36e6b66a30aab77500650945c98f6d0dd",
      "old_mode": 33188,
      "old_path": "library/init/data/int/basic.lean",
      "new_id": "d7b7f1e8595f60193bc33b20220f37a180a1a100",
      "new_mode": 33188,
      "new_path": "library/init/data/int/basic.lean"
    },
    {
      "type": "modify",
      "old_id": "e658d5c24a29647bb620a48ca9d7be57254179a0",
      "old_mode": 33188,
      "old_path": "library/init/data/list/basic.lean",
      "new_id": "32396346c789d0ce5c41bce756a3e31be39448bf",
      "new_mode": 33188,
      "new_path": "library/init/data/list/basic.lean"
    },
    {
      "type": "modify",
      "old_id": "10771741482ff7dc5e3c239f0fc335d2e6f50308",
      "old_mode": 33188,
      "old_path": "library/init/data/ordering/basic.lean",
      "new_id": "8039ebe72efa33b457baeeaa6fc7bae7a301785d",
      "new_mode": 33188,
      "new_path": "library/init/data/ordering/basic.lean"
    },
    {
      "type": "modify",
      "old_id": "2d78adf72bfd5a0c5590ba83505999e09cd12eac",
      "old_mode": 33188,
      "old_path": "library/init/lean/compiler/ir.lean",
      "new_id": "e5cb8b77fc152bf84476238a411ab5f34d911860",
      "new_mode": 33188,
      "new_path": "library/init/lean/compiler/ir.lean"
    },
    {
      "type": "modify",
      "old_id": "7548d10003cfbc06d8470e5e3739fc85ab098620",
      "old_mode": 33188,
      "old_path": "library/init/lean/compiler/pushproj.lean",
      "new_id": "ae54c4f4d9c5375fa50f069f4c2fe2a4f95e9590",
      "new_mode": 33188,
      "new_path": "library/init/lean/compiler/pushproj.lean"
    },
    {
      "type": "modify",
      "old_id": "69e26a541c9147c24116fc3dc657124f224c5c49",
      "old_mode": 33188,
      "old_path": "library/init/lean/elaborator.lean",
      "new_id": "fa0281abb5b815f1e27c98af3e858b1218a983ef",
      "new_mode": 33188,
      "new_path": "library/init/lean/elaborator.lean"
    },
    {
      "type": "modify",
      "old_id": "c53599ba702879fa72dc0ad40214cb224c4785c0",
      "old_mode": 33188,
      "old_path": "library/init/lean/expander.lean",
      "new_id": "d00190c6b2b785d8cd7be2f5f53a2cae0db44a64",
      "new_mode": 33188,
      "new_path": "library/init/lean/expander.lean"
    },
    {
      "type": "modify",
      "old_id": "20859bf56abab517145c31bf0acbb3f8b073dc31",
      "old_mode": 33188,
      "old_path": "library/init/lean/kvmap.lean",
      "new_id": "bd4e138b26077824506498a8c52c699d3637738c",
      "new_mode": 33188,
      "new_path": "library/init/lean/kvmap.lean"
    },
    {
      "type": "modify",
      "old_id": "be0df4c494c3833f08814669c9ccc3d8e4ce3bd5",
      "old_mode": 33188,
      "old_path": "library/init/lean/level.lean",
      "new_id": "cadb424d692bd898d7fab572822e4f9cb819776e",
      "new_mode": 33188,
      "new_path": "library/init/lean/level.lean"
    },
    {
      "type": "modify",
      "old_id": "d540f3bd708e84c412e98076af28cbbd9fd22706",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/basic.lean",
      "new_id": "f6c7f0d7cb0779bba597ffdd2e3b400afa5c9ae1",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/basic.lean"
    },
    {
      "type": "modify",
      "old_id": "a0bab37a7fa819de40659f062f2c5aab1905e803",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/syntax.lean",
      "new_id": "3c30ea752bb4a6c7d7c5f09c5736dd1b39362447",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/syntax.lean"
    }
  ]
}