)]}'
{
  "commit": "6ccf927cff9fe658e3553ced281c822f9c38af01",
  "tree": "15a6a2816c5c3f1a30b2bf2f43458f3f5f419a72",
  "parents": [
    "bba5d25423aac649d1a7e2aaa0fda3929c74db7b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 05 18:35:10 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 05 18:35:10 2024 +1000"
  },
  "message": "rename append_nil to append_empty\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b63882db8fe5323d4441bdee1e174d0b4395396e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/String/Basic.lean",
      "new_id": "0b44aaca23e77c69f99c6f581e5a32972d3d795a",
      "new_mode": 33188,
      "new_path": "src/Init/Data/String/Basic.lean"
    }
  ]
}