)]}'
{
  "commit": "938fc3405dbc047b7c04ad151745b1d81d3512e3",
  "tree": "43397512096e5ab686159b28ebb5d8d1afa9c79d",
  "parents": [
    "6d8a16f1375541b91b899b2417419694721dfafa"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Dec 13 22:25:56 2025 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Sat Dec 13 22:25:56 2025 +1100"
  },
  "message": "fix: remove obsolete docs directory handling for cslib in release_steps.py\n\nThe cslib repository no longer has a docs subdirectory, so the release script\nwas failing when trying to update lakefile.toml and lean-toolchain in that\nnonexistent directory.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3bd71d25414523d59e0e4e5e2a511312dd381b3b",
      "old_mode": 33261,
      "old_path": "script/release_steps.py",
      "new_id": "5493199be628818685980276deeeb783fa2bf01c",
      "new_mode": 33261,
      "new_path": "script/release_steps.py"
    }
  ]
}