)]}'
{
  "commit": "cfd190062553e4909a3241cd2e5f623755649fa7",
  "tree": "3132d6178ce0dcdfccfacb2ba06e29c695724c4a",
  "parents": [
    "f4c28fbe5ffb5c575fddca94f6868e7c7a08ce29"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Jun 04 16:31:39 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jun 16 12:06:53 2020 +0200"
  },
  "message": "fix: #eval: redirect stdout/stderr\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8549f0438a53d6277961ffb42e59387d291a3bee",
      "old_mode": 33188,
      "old_path": "src/frontends/lean/builtin_cmds.cpp",
      "new_id": "601cdf03301e3e6f556aee0f9c0b43ce66e91056",
      "new_mode": 33188,
      "new_path": "src/frontends/lean/builtin_cmds.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "cae478b1b1dbddd4c758991db8f9c21ec04da54f",
      "new_mode": 33188,
      "new_path": "tests/lean/EvalStdin.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "e16c76dff888f676a1c6c1b52e593e6b73a646e4",
      "new_mode": 33188,
      "new_path": "tests/lean/EvalStdin.lean.expected.out"
    }
  ]
}