)]}'
{
  "commit": "4d3fc0680781843b2f99321ef768e9df148943c0",
  "tree": "e22c5c870cd322ef49482f97121e1dc1b375b694",
  "parents": [
    "0fe57e1cd1ad75724e926e381bb0b04bf1fef64c"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Mar 19 18:45:20 2020 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Mar 19 19:07:38 2020 +0100"
  },
  "message": "test: add re-elaborating delaborator PoC to playground\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "4d5c41ed09b0fa4bae758dd387882a12e9cdf195",
      "new_mode": 33188,
      "new_path": "tests/playground/reelab.lean"
    }
  ]
}