Skip to content

Fix leading spaces in pull request titles - #312

Merged
fabpot merged 1 commit into
masterfrom
fix-leading-space-in-pr-titles
Aug 31, 2026
Merged

fabpot merged 1 commit into
masterfrom
fix-leading-space-in-pr-titles

Conversation

@fabpot

@fabpot fabpot commented Aug 31, 2026 •

Copy link
Copy Markdown
Contributor

A title normalization change always inserts a separator before the remaining title, even when there is no component prefix. Plain titles therefore gain a leading space when a non-component label is added.

Trim the fully reconstructed title and cover the no-component-label case.

@fabpot
fabpot merged commit e680203 into master Aug 31, 2026
4 checks passed
@fabpot
fabpot deleted the fix-leading-space-in-pr-titles branch August 31, 2026 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants