)]}'
{
  "commit": "f77428252c6feab1e75153ef3cbdf3506e5894ee",
  "tree": "27f4b870a8b0debf14b2e79106f31a9f70a74cac",
  "parents": [
    "60690665d5eb1f03fb8533614a273921829e3383"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Nov 05 15:42:42 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Nov 05 15:42:42 2024 +1100"
  },
  "message": "one more\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "73594b793788f644ed0bb197dfe69b8b5e237c1d",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/GetLit.lean",
      "new_id": "f5139dc5b4d91242b9a65f95289dd5e6989c712f",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/GetLit.lean"
    }
  ]
}
