)]}'
{
  "commit": "43a9d787e81fda03ac1ecb47dbf22bccd0a1adf9",
  "tree": "d88dcac5e537a1afbbab4c84da4603c53e0d89c3",
  "parents": [
    "d8d390a6d8728a158952b29a7e41a3de16581594"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Jun 21 15:51:20 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Jun 21 16:04:40 2018 -0700"
  },
  "message": "checkpoint\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c6a264704e2096b52439b49045ccb2d4210c7a1a",
      "old_mode": 33188,
      "old_path": "src/kernel/expr.cpp",
      "new_id": "2f28a38624795c88507e21024235408f2956393a",
      "new_mode": 33188,
      "new_path": "src/kernel/expr.cpp"
    },
    {
      "type": "modify",
      "old_id": "ed101144b87bacd5dd9ffc56c4ea7e359c9fdfa6",
      "old_mode": 33188,
      "old_path": "src/kernel/expr.h",
      "new_id": "f68b3f9de4c135e74ee03433c3f2601d2ed4355c",
      "new_mode": 33188,
      "new_path": "src/kernel/expr.h"
    }
  ]
}