)]}'
{
  "commit": "b51d2ba108b866e0dde385a3cdca4e73c5a7fe74",
  "tree": "945495f281e6dbe991590a5715df3c29b5fd590b",
  "parents": [
    "72d5cd8e2dced595a71bab320111b153dd21c204"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 08 17:31:11 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 08 17:31:11 2024 +1100"
  },
  "message": "fix\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "781f9324dca532d41fc8db57adf1b0968cf4a848",
      "old_mode": 33188,
      "old_path": "src/Init/Control/Lawful/Instances.lean",
      "new_id": "26771ba8dd79ca21c7f1f4b04d190cd8aa31cb9d",
      "new_mode": 33188,
      "new_path": "src/Init/Control/Lawful/Instances.lean"
    }
  ]
}