)]}'
{
  "commit": "c22ff8abd058da496e61bd43d68936832a6db013",
  "tree": "c30d7e1b62ba25faf223ab48fe13b0c581cf54f7",
  "parents": [
    "9be2eab93d597dbd73671826a5df8245b4ee355b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Aug 25 15:07:54 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Aug 25 15:07:54 2025 +1000"
  },
  "message": "feat: Lean.Grind.AddCommGroup instance for Rat\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c034735011eb1aa046e4b51efbe9ebb8c3810fee",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Rat/Lemmas.lean",
      "new_id": "9d77ccda260a5b9d3cc31d535d1a0ef30969cda6",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Rat/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "81aba4ad54ace0b6a82f03acc28a33d2180324fc",
      "old_mode": 33188,
      "old_path": "src/Init/GrindInstances.lean",
      "new_id": "80ad0a95345a7b38fd22f19d0b33a7c2bc9b9303",
      "new_mode": 33188,
      "new_path": "src/Init/GrindInstances.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5125a57d76e0196c2329cca6adb21378d78fcc6a",
      "new_mode": 33188,
      "new_path": "src/Init/GrindInstances/Rat.lean"
    }
  ]
}