)]}'
{
  "commit": "4309fd62b763aac40dd62a58075e9407e8cd23a5",
  "tree": "6a3d63068db91c9ef9bb23031c57910d7c68c6d5",
  "parents": [
    "3b06c52d4f0dc63dcd321debebe64f43a3074073"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Mar 05 23:47:28 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Mar 05 23:47:28 2019 +0100"
  },
  "message": "just parse\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a507b7861b65521de9bc05d43e8838e8493a8425",
      "old_mode": 33188,
      "old_path": "library/init/lean/frontend.lean",
      "new_id": "12cacec1a460d0516d452a3e27b0b3ad5cfacd50",
      "new_mode": 33188,
      "new_path": "library/init/lean/frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "40d337b8ac5669a5e02fd6c4026236fbe3e373af",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/module.lean",
      "new_id": "f90418b1394609565219dacc30377ed61244bcd8",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/module.lean"
    },
    {
      "type": "modify",
      "old_id": "5b39c76fcab6ae0086ead99af3ba0d6a3d1385cd",
      "old_mode": 33188,
      "old_path": "src/boot/CMakeLists.txt",
      "new_id": "93af0e84f8686b10c34d7d7dba09822143eba70b",
      "new_mode": 33188,
      "new_path": "src/boot/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "5c057b0853db3de5105a2f0b8e14dd3ed8eaa686",
      "old_mode": 33188,
      "old_path": "src/boot/init/lean/elaborator.cpp",
      "new_id": "293785febbe2083d91f3656174f45a394e70f234",
      "new_mode": 33188,
      "new_path": "src/boot/init/lean/elaborator.cpp"
    },
    {
      "type": "modify",
      "old_id": "0a3f2c4cad050129f2d321ccde068e50df48b99f",
      "old_mode": 33188,
      "old_path": "src/boot/init/lean/frontend.cpp",
      "new_id": "774e7f3f46dbda6aefe15807cafb292edf2ad102",
      "new_mode": 33188,
      "new_path": "src/boot/init/lean/frontend.cpp"
    },
    {
      "type": "modify",
      "old_id": "7f14917500d0a992fa38bcc74bbc0726bb6af2df",
      "old_mode": 33188,
      "old_path": "src/boot/init/lean/parser/module.cpp",
      "new_id": "df918d567c1a82a6e3d8f77283dd9c0e22965626",
      "new_mode": 33188,
      "new_path": "src/boot/init/lean/parser/module.cpp"
    }
  ]
}