)]}'
{
  "commit": "35f183d56d47b3d320f93523f1a376033a6ff26e",
  "tree": "ce7781341e69cb1b63e69cc3ab2ce11e046d5d51",
  "parents": [
    "fe835ae9f9abbee66d4c28397deac8414d34cd28"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Sat Dec 16 12:34:01 2023 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Sat Dec 16 12:34:01 2023 +1100"
  },
  "message": "better name\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "040ef19b383de2f6b4315ffa01dc824854f21070",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/Lsp/Utf16.lean",
      "new_id": "caf784ea9774a85c84d9ed6a6326edea92ed3b70",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/Lsp/Utf16.lean"
    }
  ]
}