)]}'
{
  "commit": "faab75b0d848940b897a80aa82762019497e8622",
  "tree": "00265dc63daababa95d5bceb90ae62ec977a4e79",
  "parents": [
    "68e3982eed1e4f98b0a81318510a7717ec6ff3e3"
  ],
  "author": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Thu Apr 11 14:34:17 2024 +0200"
  },
  "committer": {
    "name": "Henrik Böving",
    "email": "hargonix@gmail.com",
    "time": "Thu Apr 11 14:34:17 2024 +0200"
  },
  "message": "perf: fix linearity issue in insertIfNew\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "279cbf60907b186dd8d0d1dd9edb3681cda941e5",
      "old_mode": 33188,
      "old_path": "src/Lean/Data/HashMap.lean",
      "new_id": "dc30823cb7388f8f7b2bedd33afdc1749efee876",
      "new_mode": 33188,
      "new_path": "src/Lean/Data/HashMap.lean"
    }
  ]
}