)]}'
{
  "commit": "692ddbafb0f4cf6c3c3268a9cf5cffde98e58d2e",
  "tree": "efeff8e3ace8d4760ae3d9e318a3691b0c68d728",
  "parents": [
    "a032595f1b9f4697dfb939790d449e1d4ffd1923"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Sep 16 14:30:24 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Sep 16 14:30:45 2021 +0200"
  },
  "message": "feat: IO.FS.removeDir(All)\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "da152abde1810ba7ad5e1dd19526126cbaf5cd80",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "f7a5a273737a89d3638f49f947f4a18761f937f3",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "28b57a91f08c4e16119fd44846a4bc3621a32342",
      "old_mode": 33188,
      "old_path": "src/runtime/io.cpp",
      "new_id": "e714ef36daec2850ee538ff464c9b27e29fe8378",
      "new_mode": 33188,
      "new_path": "src/runtime/io.cpp"
    }
  ]
}