Repository navigation

pr.sh: leave a diverged local main alone after the merge - #17

Merged

markope merged 1 commit into

mainfrom

pr-leave-branch-safe

Oct 26, 2026

Merged

pr.sh: leave a diverged local main alone after the merge#17
markope merged 1 commit into
mainfrom
pr-leave-branch-safe

Commits on Oct 26, 2026
- pr.sh: leave a diverged local main alone after the merge
  Marko Petzold
  committed
  ec40d8a