)]}'
{
  "commit": "c11e88c768e02f03b1e7cbf9c7477254845376b9",
  "tree": "0bf33196367aafb89af30564239653429c2874a9",
  "parents": [
    "d25a4b311a3ac356353e3e63bf72b7d06b2f9eaf"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 26 14:13:43 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 26 14:32:42 2020 +0200"
  },
  "message": "test: Reparen: don\u0027t remove parentheses in syntax quotations\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bf3a426a759f1fedcf09d4c0987df00c352d9899",
      "old_mode": 33188,
      "old_path": "tests/lean/run/Reparen.lean",
      "new_id": "b09b492ff2b8db590a10d9d298bbf6cd8f8b6c53",
      "new_mode": 33188,
      "new_path": "tests/lean/run/Reparen.lean"
    }
  ]
}