)]}'
{
  "commit": "30e4e9d8c6c9db314e99ea9bc6a78303a0f83ae2",
  "tree": "231141625829fca1ad2adad2e7a460259d11c061",
  "parents": [
    "64ffb23925873c876947e7826c781737b454c4c7"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jun 26 18:46:58 2022 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jun 26 18:47:23 2022 +0200"
  },
  "message": "more stuff after stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "b69fed4d6483732da8a06d1e4ac4f8432a5e7be6",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Format/Macro.lean",
      "new_id": "2aab92e898da78fcd904ddca6921436b77dc348d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Format/Macro.lean"
    },
    {
      "type": "modify",
      "old_id": "eb113feaf7afd8a86a21aee29606c7b642367ccb",
      "old_mode": 33188,
      "old_path": "src/Init/Data/ToString/Macro.lean",
      "new_id": "3b5d8432bc7b936172d2bd71886b9925d6955c01",
      "new_mode": 33188,
      "new_path": "src/Init/Data/ToString/Macro.lean"
    },
    {
      "type": "modify",
      "old_id": "2c84356476d1106ecbac8a9dec418c59c1015215",
      "old_mode": 33188,
      "old_path": "src/Init/Meta.lean",
      "new_id": "35b88c29b25a682db2bf3ac84a84fcd0ad69ca38",
      "new_mode": 33188,
      "new_path": "src/Init/Meta.lean"
    },
    {
      "type": "modify",
      "old_id": "c3a21c6e2b01492fd7a9a05565f9f82204b74a58",
      "old_mode": 33188,
      "old_path": "src/Init/Notation.lean",
      "new_id": "63d036547c8924b854683486376a0292d10f1dda",
      "new_mode": 33188,
      "new_path": "src/Init/Notation.lean"
    },
    {
      "type": "modify",
      "old_id": "bdbb78b0a38dd703342207da8b2d2a9aa4a3fe5f",
      "old_mode": 33188,
      "old_path": "src/Init/NotationExtra.lean",
      "new_id": "3c1353a47e5b7e0ed905d590c605112c7c6f3c39",
      "new_mode": 33188,
      "new_path": "src/Init/NotationExtra.lean"
    },
    {
      "type": "modify",
      "old_id": "46ad7afbcfa5dff5772c3fae037898a0d4a0de89",
      "old_mode": 33188,
      "old_path": "src/Init/Tactics.lean",
      "new_id": "97bd9a5b91e6aef2efaa4466b9a02a3b0dda56e1",
      "new_mode": 33188,
      "new_path": "src/Init/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "e26d725e95603e760df16684a18a8644d0e2e85e",
      "old_mode": 33188,
      "old_path": "src/Init/WFTactics.lean",
      "new_id": "bb8a239ff257943a4c1d503dc5ae0a6236e6c8a1",
      "new_mode": 33188,
      "new_path": "src/Init/WFTactics.lean"
    }
  ]
}