Fix #2539: drop duplicate slice prefix in non-terminal slice PR titles - #2540

Fix #2539: drop duplicate slice prefix in non-terminal slice PR titles#2540

jwbron merged 1 commit into

mainjwbron/egg:mainfrom

egg/issue-2539-slice-pr-title-prefixjwbron/egg:egg/issue-2539-slice-pr-title-prefixCopy head branch name to clipboard