)]}'
{
  "commit": "8a767399482cfbdb93fee7b258e8f66445bdbd51",
  "tree": "4d93c2680df68f3a38bd2a85d4c2f14bc255f8a7",
  "parents": [
    "2e4557dbd0a0641a8ab6f9c660f9c96504b785b4"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 27 18:10:24 2024 +0100"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Tue Feb 27 18:10:24 2024 +0100"
  },
  "message": "doc: split interface/implementation docs on `ite`",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0c0154b34473a2004d675be21a149853459517ae",
      "old_mode": 33188,
      "old_path": "src/Init/Prelude.lean",
      "new_id": "6a05d542b20ebe021043e3cf91582c061f22434f",
      "new_mode": 33188,
      "new_path": "src/Init/Prelude.lean"
    }
  ]
}