)]}'
{
  "commit": "6612ee02345e32e77cdba66ab9a60bb620d5b99f",
  "tree": "4583ed8544c4e6c8b786cdbd37b90accd9ef48a7",
  "parents": [
    "e29d75a9610d26e025d01d453989de5110cfb985"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Feb 16 12:06:45 2024 +1100"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Fri Feb 16 12:06:45 2024 +1100"
  },
  "message": "chore: upstream HashSet.merge\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7ddcb61ecfe3374a23c50b1c1bfd657fab4d83da",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashSet.lean",
      "new_id": "c528dddbe0bbd8c7305063283404af3206ff35f2",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashSet.lean"
    }
  ]
}