)]}'
{
  "commit": "887d838fdd19cfcbf9d3e86db264a8692fe61df7",
  "tree": "c881cfeb7a6099af80bd4de13413c4884cd5f2cd",
  "parents": [
    "02e917793e07d480ee09bda7b51210b976b47e6d"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue May 25 16:03:39 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed May 26 09:47:13 2021 +0200"
  },
  "message": "feat: IO.FS.readDir\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "18e7a7f9693e6a12a94f0c49fb46fabc3eec6023",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "49b6d900e59f61644a261614d58f8fd459500317",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "fd87fe6c9d45066894b486f3aa9066c7270b745e",
      "old_mode": 33188,
      "old_path": "src/runtime/io.cpp",
      "new_id": "7529414b706ba972e72b7201bd4ff642cd7a16be",
      "new_mode": 33188,
      "new_path": "src/runtime/io.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "80f23f3b3a9fd94ec4663fe8bfbd2e46f9a3d830",
      "new_mode": 33188,
      "new_path": "tests/lean/readDir.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "66aa91d0e2aab62d4cb38b60fbd0a920bd178558",
      "new_mode": 33188,
      "new_path": "tests/lean/readDir.lean.expected.out"
    }
  ]
}