)]}'
{
  "commit": "57650f536a3108f753bd35122357a2d01b3a27d5",
  "tree": "3a0caba7da44a08cd68f65a906a72b5748f417a3",
  "parents": [
    "96fcc94acb5db7de6fb6e93ac2e6dddca632c84d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Apr 30 20:24:00 2025 +0200"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Apr 30 20:24:00 2025 +0200"
  },
  "message": "cleanup\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "18a4710e07f96808c4c6d506b34f8f25d7f160e6",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Internal/RawLemmas.lean",
      "new_id": "2196b6b7d9c61e1ea1240ff4337762d7b218082d",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Internal/RawLemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "6ba7d481467c8dc08d03ae23f92b7ffaa2bc0413",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/Lemmas.lean",
      "new_id": "16ea65d44b22b0c316cba949165590f5ffb90176",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "7bc28c2f7d1e7fca717544cc14683b3c2e078532",
      "old_mode": 33188,
      "old_path": "src/Std/Data/DHashMap/RawLemmas.lean",
      "new_id": "427d109c6bc41ef1e6b3e5195e591d6456fd620a",
      "new_mode": 33188,
      "new_path": "src/Std/Data/DHashMap/RawLemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "e00a86c35fc5c7071a17bdb55f12798973e6243a",
      "old_mode": 33188,
      "old_path": "src/Std/Data/ExtDHashMap/Lemmas.lean",
      "new_id": "e1c7352176e88fd79d7815c09cdd76543d16bb60",
      "new_mode": 33188,
      "new_path": "src/Std/Data/ExtDHashMap/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "5478229af7a740ca424949d427e5f3912bab6596",
      "old_mode": 33188,
      "old_path": "src/Std/Data/ExtHashMap/Lemmas.lean",
      "new_id": "a3b1fd55ca942dcaf0b19303868ddc038effa333",
      "new_mode": 33188,
      "new_path": "src/Std/Data/ExtHashMap/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "e16cd1b179ea68102a53631da829ac6862e484e2",
      "old_mode": 33188,
      "old_path": "src/Std/Data/HashMap/Lemmas.lean",
      "new_id": "0d61e4cb3a270046be5d4d2808a23aa1bc1c0cb5",
      "new_mode": 33188,
      "new_path": "src/Std/Data/HashMap/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "9dc2564e240a6a0d3b565288879b6c405858c134",
      "old_mode": 33188,
      "old_path": "src/Std/Data/HashMap/RawLemmas.lean",
      "new_id": "1bdc4f4cddb4203f62d592778a4db6891e137389",
      "new_mode": 33188,
      "new_path": "src/Std/Data/HashMap/RawLemmas.lean"
    }
  ]
}