)]}'
{
  "commit": "e0cc21a6563a01db43936040a2ff53bfcbf68286",
  "tree": "80dbea4ee2433cbfc0a983ccd43b4b020e300f76",
  "parents": [
    "ebe6b958891615d51c5ee882bcb43ef940c4cbaa"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon Feb 05 14:15:32 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon Feb 05 14:15:32 2024 +1100"
  },
  "message": "try something else\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9467d019dcfe9c0b1424ec981897f08fc3b404d5",
      "old_mode": 33188,
      "old_path": "src/Init/SimpLemmas.lean",
      "new_id": "1adcf5debd99c5ffbf9196eb631dbefa55873acb",
      "new_mode": 33188,
      "new_path": "src/Init/SimpLemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "0645e2203789da720b36be50a5cf61d184676dec",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/SplitIf.lean",
      "new_id": "cd228ad001a535015037c52ea87c08a0a33d0fba",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/SplitIf.lean"
    }
  ]
}