)]}'
{
  "commit": "cbd4956ea906e4e12ba7f9c49648d6b90cd8fde3",
  "tree": "b62d0ebafe7e4ea118789508254a60613987b40f",
  "parents": [
    "37adb7b6b3036f281f44810b6e67575bf396f748"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Sep 20 11:47:09 2024 +1000"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Fri Sep 20 11:47:09 2024 +1000"
  },
  "message": "Update src/Lean/Meta/Instances.lean\n\nCo-authored-by: Johan Commelin \u003cjohan@commelin.net\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3c888081a15bc2ffbabab702e84df68c225dfbd5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Instances.lean",
      "new_id": "73daaa508db83ce3040e5cace3cbc25768f881f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Instances.lean"
    }
  ]
}