)]}'
{
  "commit": "a4399958d298e013e21041b0dec62d1fec4532c7",
  "tree": "c51271f6744b7810355da98ccb7831cc85d82ec3",
  "parents": [
    "655a16ce566bf551bfd45411c02b8774fc41f221"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon May 18 16:04:16 2020 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon May 18 17:52:34 2020 +0200"
  },
  "message": "refactor: put all includes in include/lean/\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6af38a7925a299e2a19446f4f732412f1e78dee7",
      "old_mode": 33188,
      "old_path": "src/CMakeLists.txt",
      "new_id": "7c5ee3e50c4aece962927405b5eff2b2abf553b1",
      "new_mode": 33188,
      "new_path": "src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "b85837c66911dcdbd4bc0ff11184add3341ec1d5",
      "old_mode": 33188,
      "old_path": "src/Init/Lean/Compiler/IR/EmitC.lean",
      "new_id": "df805a34f84126c3351f69f67aed3f778f5c7518",
      "new_mode": 33188,
      "new_path": "src/Init/Lean/Compiler/IR/EmitC.lean"
    },
    {
      "type": "modify",
      "old_id": "28323233ebcf90a8e6fb6e67df025d07a7f6e335",
      "old_mode": 33261,
      "old_path": "src/bin/leanc.in",
      "new_id": "1c57d1e99ebfc771abc04ddfed00e87ce786ed9b",
      "new_mode": 33261,
      "new_path": "src/bin/leanc.in"
    },
    {
      "type": "modify",
      "old_id": "f591defd97b5b901642317246c58064126adeee9",
      "old_mode": 33188,
      "old_path": "src/runtime/lean.h",
      "new_id": "9425f00ecb9745c36e02544f0693ca8a43bc65b8",
      "new_mode": 33188,
      "new_path": "src/runtime/lean.h"
    },
    {
      "type": "modify",
      "old_id": "23dffb6dac14044d12ae3b370e19cdba2edad4ee",
      "old_mode": 33188,
      "old_path": "src/runtime/thread.cpp",
      "new_id": "e5475b450743e5c41fb1c5e7f456dbf6a3d6a05c",
      "new_mode": 33188,
      "new_path": "src/runtime/thread.cpp"
    }
  ]
}