)]}'
{
  "commit": "5b8e29b35252fb7c936b0f85a74eb661dc42d1cb",
  "tree": "1647f459abe4f293c0dddaf81eef2b5c4cf2bfd8",
  "parents": [
    "bd16c0f87d978193d2988fdd09bf906fd424a57e"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Aug 10 12:37:17 2024 +0200"
  },
  "committer": {
    "name": "Cameron Zwarich",
    "email": "cameron@lean-fro.org",
    "time": "Fri Jun 27 08:01:34 2025 -0700"
  },
  "message": "perf: inline `lean_inc_ref_cold`\n\nThe body is a single instruction\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5f95abbbc18a468c8c84534fd27f1a35e85ba76d",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "24ceb67337122c180dcf7f75b8d27935f179fa57",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "9ac4433fcf09678facaf097d228ade7f97b9619f",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "76e210512ebc319ddb4808dff302673d9bedfdd4",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    }
  ]
}