Code

Allow efficient trimming of history#77

Code

Open

asteppke wants to merge 5 commits intojupyter-server:mainjupyter-server/pycrdt-websocket:mainfrom asteppke:trim_historyasteppke/pycrdt-websocket:trim_historyCopy head branch name to clipboard

+41-13

Commits

Commits on Oct 10, 2024

• added history_length parameter and respective squashing

  asteppke

  committed
  44253ac

  Copy full SHA for 44253ac

• changed default to never squash

  asteppke

  committed
  4d11ff0

  Copy full SHA for 4d11ff0

• [pre-commit.ci] auto fixes from pre-commit.com hooks

  Show description for 5fc1bd2
  pre-commit-ci[bot]

  committed
  5fc1bd2

  Copy full SHA for 5fc1bd2

• formatting and prevent issues in case of None

  asteppke

  committed
  9c56579

  Copy full SHA for 9c56579

• Merge branch 'trim_history' of https://github.com/asteppke/pycrdt-websocket into trim_history

  asteppke

  committed
  7cf3015

  Copy full SHA for 7cf3015