)]}'
{
  "commit": "7f1560e758d7a3fab516290fe1b5c20ebf8d901f",
  "tree": "c30c3b852c75ef19b4855df14e6c631ad59f8059",
  "parents": [
    "109363bc7e6b6a8a353503ecfda24526b2a88117"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sun May 01 20:10:53 2022 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sun May 01 20:10:53 2022 -0700"
  },
  "message": "checkpoint\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ca36e25448cfc61d906c936c4d840cb861eeb31b",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Match/Match.lean",
      "new_id": "7004579eab417256efef48191a0ff17ad2615538",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Match/Match.lean"
    },
    {
      "type": "modify",
      "old_id": "06113ce9e8a9f2e0114a5e0510a7615eddfd8a59",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Apply.lean",
      "new_id": "4f583e0d3b5f8f50a2aee885812fd6d9fe94593e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Apply.lean"
    },
    {
      "type": "modify",
      "old_id": "f3954b8aa99017c6ef7010a4a8e4448d88c69177",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Split.lean",
      "new_id": "72d0ca259e9627d9496b5068f4c88c16e4027097",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Split.lean"
    }
  ]
}