)]}'
{
  "commit": "2f71e22457a37c0752be6504218d459a563c985f",
  "tree": "d431e5e4c7601eb8111d23b91e33f65b13ad2eb2",
  "parents": [
    "a0e425748ae1e549ce74d43b2de79d76a2ff6a94"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 27 12:37:13 2025 -0700"
  },
  "committer": {
    "name": "Cameron Zwarich",
    "email": "cameron@lean-fro.org",
    "time": "Fri Jun 27 13:29:25 2025 -0700"
  },
  "message": "perf: partially inline lean_dec_ref_cold\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "24ceb67337122c180dcf7f75b8d27935f179fa57",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "7148156c2ec59335918a3da929fba9239efdbe4d",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "76e210512ebc319ddb4808dff302673d9bedfdd4",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "5fcb53bb69e477d820f4617ef54812e89d00a119",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    }
  ]
}