)]}'
{
  "commit": "bdf1bae754500bf3c5ef449c9c5fef297afa070b",
  "tree": "e7cbd36f323e0ba92692f2753bd3133f04d0d1dd",
  "parents": [
    "77bf9f71f8c9d6b9c1b79a4d8d075fb9c1d552ea"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Aug 11 15:46:16 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Aug 11 19:43:46 2020 +0200"
  },
  "message": "test: parenthesizer no longer dependent on importing `Lean`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e67727369876b8899d3b54f1a944ba908aa1532c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/Reparen.lean",
      "new_id": "91356991b658e74ec5e266ba9bf5f881d1028ed5",
      "new_mode": 33188,
      "new_path": "tests/lean/run/Reparen.lean"
    }
  ]
}