)]}'
{
  "commit": "725481f5c1f6fdd827ec7219de3dfd89dec14818",
  "tree": "222318ec5675b53603ddd92f4a474be7f17d38fc",
  "parents": [
    "ce356a41725eaf50ee5be87f5711732ddc6687be"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 23 19:11:43 2020 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Dec 23 19:16:21 2020 +0100"
  },
  "message": "chore: deactivate server tests for now\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4b96c6191c43340cd8c30ebab85c33d1daca08e8",
      "old_mode": 33188,
      "old_path": "tests/lean/server/diags.lean",
      "new_id": "a1168bb1f1c2e039f3e2b9b1f1cb844f3b4bbce9",
      "new_mode": 33188,
      "new_path": "tests/lean/server/diags.lean"
    },
    {
      "type": "modify",
      "old_id": "cf907f4912a68629e2e480083ef1495f58a78c40",
      "old_mode": 33188,
      "old_path": "tests/lean/server/edits.lean",
      "new_id": "4295559689fab8b48874c61092408fecd677e871",
      "new_mode": 33188,
      "new_path": "tests/lean/server/edits.lean"
    }
  ]
}