)]}'
{
  "commit": "6561980ec3520e0c81a51a2ecdc0f9411bec3f53",
  "tree": "9abd95be488a51f3b13c881823c5e4390a4ee469",
  "parents": [
    "087cb22aa58c45cd55184d15692ae608e0fe6c03"
  ],
  "author": {
    "name": "Paul Reichert",
    "email": "6992158+datokrat@users.noreply.github.com",
    "time": "Tue Jun 02 15:24:48 2026 +0200"
  },
  "committer": {
    "name": "Paul Reichert",
    "email": "6992158+datokrat@users.noreply.github.com",
    "time": "Tue Jun 02 15:24:48 2026 +0200"
  },
  "message": "fix stage2\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "42b305433ebd0bb53c3c675de4b16055cb099ed9",
      "old_mode": 33188,
      "old_path": "src/Std/Do/WP/Basic.lean",
      "new_id": "23942d6dd0316df879da8dbcc2524163d970f57d",
      "new_mode": 33188,
      "new_path": "src/Std/Do/WP/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "f6a226380477e35e3e61c8e855ec8f48ac236d08",
      "old_mode": 33188,
      "old_path": "src/Std/Do/WP/SimpLemmas.lean",
      "new_id": "ac7f636942d16bbfeace07bb31226d9b03262a49",
      "new_mode": 33188,
      "new_path": "src/Std/Do/WP/SimpLemmas.lean"
    }
  ]
}