)]}'
{
  "commit": "650106df7fca6e398612d950f51d019f2c0e241b",
  "tree": "a4e68f20f9feaa1fa900b30e7cb6910871040a79",
  "parents": [
    "d91cd3b7acac3d2614f12f5e5097ca5ed730eb45"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Mar 07 18:35:34 2022 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Mar 07 18:35:34 2022 -0800"
  },
  "message": "chore: add comment and remove dbg trace message\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "78ac8ce6b608effd5350bfe013c5b568b90dcf90",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinTerm.lean",
      "new_id": "f1bc41cf9e272e2db97faa46dd796fb4c21e353f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinTerm.lean"
    },
    {
      "type": "modify",
      "old_id": "a7aaa2b66fcf6dc20b837e55666d198c8e65b83b",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Match.lean",
      "new_id": "112a53495f40a42b049c93b9cbdc5b5ed6e86efa",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Match.lean"
    }
  ]
}