)]}'
{
  "commit": "70b5cf237fc9f83ac4dd00bb79f7a3d0f439d3b5",
  "tree": "df0969dcb2811c6f522750aba8acc06b89cbae3b",
  "parents": [
    "5b653197dbca2bf6e7c4d63c4776abcae3e9754d"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Dec 21 16:06:02 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Dec 21 17:32:48 2021 +0100"
  },
  "message": "chore: reenable servertest_edit\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0b25b34232321475988740017ddd3bb660865c15",
      "old_mode": 33188,
      "old_path": "tests/lean/server/edits.lean",
      "new_id": "e3d84fe4947fcbd94f49b2d477f395d97ba8ead1",
      "new_mode": 33188,
      "new_path": "tests/lean/server/edits.lean"
    },
    {
      "type": "modify",
      "old_id": "1d4260cc3d82d2e6d8a2b747382719c326d37a04",
      "old_mode": 33188,
      "old_path": "tests/lean/server/edits_diag.json",
      "new_id": "64d58db7d7149318645c03361de1177faf7f5f78",
      "new_mode": 33188,
      "new_path": "tests/lean/server/edits_diag.json"
    }
  ]
}