)]}'
{
  "commit": "4544dd8413169e43521cee9a5d1ba6a2cba8d8ba",
  "tree": "bec3811b27dc8647da8abc0858d280762b22796a",
  "parents": [
    "970ebb9d709391de9cd83f34b3ca9927f8bdb744"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 16 17:05:26 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 16 17:05:26 2020 +0200"
  },
  "message": "feat: #eval\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "392f6a783584d076bb1f00306be6409203edbf58",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "1c6909462336fdb2a6096899cc57b59f487cf600",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    }
  ]
}