)]}'
{
  "commit": "d97a52b42a93431e86b4d18ef75dc35715ceccb3",
  "tree": "d583bfab3a3a3892b3199b753f161ae8f4c87300",
  "parents": [
    "20a7fe89b5e957287f5f705dbd6de3be4e8f6b13"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 14 16:33:09 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 14 16:33:09 2024 +0200"
  },
  "message": "chore: clean up cmdline snapshots logic\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a15d6a0c43e0a2ac70f0aa5e426e1b088f99f836",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "ac3bf9adbf3f5eb5112cbce7cc321c419c2d7e59",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "e4757b55f9d7dc8f24cef6ee772d87167fab659b",
      "old_mode": 33188,
      "old_path": "src/Lean/Language/Lean.lean",
      "new_id": "b212eba55d496bc20142eb4779812b39821e547f",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Lean.lean"
    }
  ]
}