)]}'
{
  "commit": "1539589732efb01ab8eff19f31cf064563a0b0e1",
  "tree": "9a91b08d3a09ae4e7a7110c7936cb112576db288",
  "parents": [
    "6a037e05e9f04410b1c42d00191264735c0aca4e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jun 09 11:56:37 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jun 09 12:24:21 2021 +0200"
  },
  "message": "feat: IO.Process.Child.takeStdin\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f0855529cbaf7a8b9d6f91baad70a7c6c64eacbf",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "1753e5a4b99d9e0eb14188142b72379b28e7e030",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "f0f6561fab0094fa4d0c5e7e4618908fee77df8a",
      "old_mode": 33188,
      "old_path": "src/runtime/process.cpp",
      "new_id": "294e942ad521edf5eaaef4f2b37f03c5538f372c",
      "new_mode": 33188,
      "new_path": "src/runtime/process.cpp"
    },
    {
      "type": "modify",
      "old_id": "6591d72261507f571d5a48d1e059304e4d835e34",
      "old_mode": 33188,
      "old_path": "tests/lean/Process.lean",
      "new_id": "863a22350e85c2e3920d9016595d290994de81fe",
      "new_mode": 33188,
      "new_path": "tests/lean/Process.lean"
    },
    {
      "type": "modify",
      "old_id": "e17406597f2cf0bda513af4b9c7e7786d38790b1",
      "old_mode": 33188,
      "old_path": "tests/lean/Process.lean.expected.out",
      "new_id": "ad75179650c4d7628f7c3ef7b227e3f886949314",
      "new_mode": 33188,
      "new_path": "tests/lean/Process.lean.expected.out"
    }
  ]
}