)]}'
{
  "commit": "cda8c044da457aa73759e77f098218239138abbe",
  "tree": "098a76e9ce500cdb30986c6fec6eef4bbd5dd585",
  "parents": [
    "5c995b741fb55f4e60ff617b401bca826c43de49"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jan 18 22:36:17 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Jan 18 22:36:17 2022 +0100"
  },
  "message": "doc: more about initializers\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "545402ae66f941bf0919160179a465f01f5e658d",
      "old_mode": 33188,
      "old_path": "doc/dev/ffi.md",
      "new_id": "f04d0cab2419d828fbf2f04bd2fe105d86cc2d6b",
      "new_mode": 33188,
      "new_path": "doc/dev/ffi.md"
    },
    {
      "type": "modify",
      "old_id": "d32ee94968dcd7f2a4a211f9166ab39ef65453c3",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/InitAttr.lean",
      "new_id": "f7dd662a4f33582b032f4b23a3a238da2dfb7c7c",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/InitAttr.lean"
    }
  ]
}