)]}'
{
  "commit": "248fdbdee4289dde24fa2be44effada961381dce",
  "tree": "9d199d2d88e4069e3b087c7e66ef65e7b87ec3bc",
  "parents": [
    "2b39b453e75e7745a48c1fa8071d1874d2f5d2f5"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 18 11:28:37 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Jun 18 11:28:37 2025 +1000"
  },
  "message": "feat: grind annotations for Sum\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a7aaa5b2d09bae195308ba38badd3624a3bf65b9",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Sum/Basic.lean",
      "new_id": "13b1b9fbdc0efb129da31eaf7f34e676350965c1",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Sum/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "73064b8db0f478e21029c27264a32325e82a6afc",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Sum/Lemmas.lean",
      "new_id": "3d4da260673bef1ff911552dae34a142131d440b",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Sum/Lemmas.lean"
    }
  ]
}