Repository navigation

fix: a conflicted `pull --pin` records the pin on `commit` - #174

Merged

thorsten-klein merged 1 commit into

mainfrom

fix/pull-conflict-pin

Oct 23, 2026

Merged

fix: a conflicted `pull --pin` records the pin on `commit`#174
thorsten-klein merged 1 commit into
mainfrom
fix/pull-conflict-pin

Commits on Oct 23, 2026
- fix: a conflicted `pull --pin` records the pin on `commit`
  
  thorsten-klein
  and
  claude
  committed
  67aad70