)]}'
{
  "commit": "90388c658c1db034b1a87d593cc99e9f7249fe64",
  "tree": "e7da50159eab9838244afd13720dbbc1974fb3ce",
  "parents": [
    "5920ae68513cea83a634021f86ee751fae8a0d7e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jul 03 18:55:00 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jul 03 18:55:00 2020 +0200"
  },
  "message": "WIP: stream interface implemented in Lean\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b99f4f3a28c5d1ff7bf8a3373e7bb1b2e5c73325",
      "old_mode": 33188,
      "old_path": "src/Init/Data/ByteArray/Basic.lean",
      "new_id": "404773db5097fd8c234b0281a0df707722be8efd",
      "new_mode": 33188,
      "new_path": "src/Init/Data/ByteArray/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "8b740ab1a2c0b7679d899162515a358d00f47a42",
      "old_mode": 33188,
      "old_path": "src/Init/Data/String/Extra.lean",
      "new_id": "29c215be6395f1b2e2a6058b96ba5b727dfd6277",
      "new_mode": 33188,
      "new_path": "src/Init/Data/String/Extra.lean"
    },
    {
      "type": "modify",
      "old_id": "60c7569aeb45f8e7fbf2d0380a6bac9a9d93afbb",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "c4b20d3d96ab5bf014ebe29a376bc0c52dd148a7",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "856ee2d3df325526fe88636018f51d5c328c3472",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "078f6ca83a5f01e9bf29cecc23e0f0d686c71ec4",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    }
  ]
}