)]}'
{
  "commit": "287c2e2d014e66bc3502bff0827cf1a52f43019d",
  "tree": "5fec251ae28bbb6c7881f1f549855936a9e1c2a8",
  "parents": [
    "e76bbef79b18a7aa130a05d50cb9eca4e9ba2152"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Nov 05 04:28:26 2025 +0100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Nov 05 04:30:05 2025 +0100"
  },
  "message": "chore: grind attributes for Prod\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8e4959e959704101c2b71cec77d0e1e646caed8d",
      "old_mode": 33188,
      "old_path": "src/Init/Core.lean",
      "new_id": "f7d355fe3b9764d7a91114ce3c39e2382de1e520",
      "new_mode": 33188,
      "new_path": "src/Init/Core.lean"
    },
    {
      "type": "modify",
      "old_id": "6a48bb664b8fff3e2cf4865dc0fa81e8a35f4f7e",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Prod.lean",
      "new_id": "8baac8d8a8d7539b750ef67cd0bc9b3885049032",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Prod.lean"
    }
  ]
}