)]}'
{
  "commit": "d7459ab63928da5c6974f37ce60bd26687a67af3",
  "tree": "48c4412c0a4a04b1a70920106c7c996d5a18307d",
  "parents": [
    "880137f0ed5f6a8db74d52bc509048bbcf6998d2"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Oct 18 15:48:09 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Oct 18 15:48:09 2018 -0700"
  },
  "message": "checkpoint\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e1e7847c90c2d0830445db6e73d0d07c526ba9da",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/combinators.lean",
      "new_id": "98da2fb0f06b6fe18884833fa9fc1be6dca52998",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/combinators.lean"
    },
    {
      "type": "modify",
      "old_id": "943ebfd12a6e062f67a6511daf5ac54bc97ab123",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/parsec.lean",
      "new_id": "a326a4c80497dc16eb9719f26a51040d3bd0d269",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/parsec.lean"
    },
    {
      "type": "modify",
      "old_id": "57e1be56c0829485d40a1c6a03c233a2831f5348",
      "old_mode": 33188,
      "old_path": "library/init/lean/parser/rec.lean",
      "new_id": "9f4359f29619663e4e7177dcbd6d6afecc75ec69",
      "new_mode": 33188,
      "new_path": "library/init/lean/parser/rec.lean"
    }
  ]
}