)]}'
{
  "commit": "7bdddaabb302d40aac575c836474d69928d4a4c0",
  "tree": "39f2c5d913f7c9387b9fe1ac0799e3d61474d5f6",
  "parents": [
    "e05b04947feb95e70029e85dd8ad556985e94a70"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 28 11:32:57 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 28 12:14:00 2020 +0200"
  },
  "message": "fix: make `Stream.ofBuffer` thread-safe\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "26a78f7ab2a4b33b3ffd6c3cfd9f45b022bbd7bd",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "3cd23c6bb0ffb238b582c5bb9da8d5683a56fd13",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    }
  ]
}