)]}'
{
  "commit": "2638004ee6622d4dfbbb174a812deeafdcd1e3e4",
  "tree": "513c4ab15e7cdeff91335cd548ccfd995d00342a",
  "parents": [
    "ea665de4536061cb8b6a1b32f5b69f09d50ac335"
  ],
  "author": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Tue Feb 20 11:56:03 2024 +0100"
  },
  "committer": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Tue Feb 20 11:56:54 2024 +0100"
  },
  "message": "doc: prelude convention in Lean\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7f125ca61e8533f901cd69381f5022d4c9dd09a3",
      "old_mode": 33188,
      "old_path": "doc/dev/index.md",
      "new_id": "999591a85ae5c0325a351260488132393c224449",
      "new_mode": 33188,
      "new_path": "doc/dev/index.md"
    }
  ]
}