Skip to content

fix: filter already-merged commits from PR range context#1521

Closed
zerone0x wants to merge 1 commit intopingdotgg:mainfrom
zerone0x:fix/cherry-pick-pr-commit-log
Closed

fix: filter already-merged commits from PR range context#1521
zerone0x wants to merge 1 commit intopingdotgg:mainfrom
zerone0x:fix/cherry-pick-pr-commit-log

Commits

Commits on Mar 29, 2026