)]}'
{
  "commit": "b3b669cdd1cf698399b545d9ff044c9778b9e4ef",
  "tree": "0b0e4c8f6a2bee8b331d3e05cac3a1b70863e7f4",
  "parents": [
    "1f04bf4fd13b62962f054513c2560ba66ae43366"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 03 09:13:44 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 03 09:13:44 2026 -0800"
  },
  "message": "fix: `whnf`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d05e0e694aa90686db69b01ac0b57f1d63551a7a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/WHNF.lean",
      "new_id": "7dfcd117df43ba00c061ada41b0ce71d2eb3a249",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/WHNF.lean"
    }
  ]
}