)]}'
{
  "commit": "1624e42a5d6d216b132c724f4258406eb5fdd359",
  "tree": "bb2a6e53cd26fdcb7d04df311bfa67d1c611230e",
  "parents": [
    "bffefa61bdcc3ec382ead32057ad91e893841245"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Aug 19 14:39:58 2021 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Aug 19 14:39:58 2021 -0700"
  },
  "message": "chore: cleaup\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b50ca198deec0a1b4214c5f9899ce0a22a8398ca",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Match/CaseValues.lean",
      "new_id": "56d9ee19d6cc1fa10e32239d8ca90170d0b873d8",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Match/CaseValues.lean"
    }
  ]
}