Skip to content

chore: allow lowercase PR titles#6616

Merged
marikaner merged 3 commits into
mainfrom
davidkna-sap_ig-title-dbot
May 26, 2026
Merged

chore: allow lowercase PR titles#6616
marikaner merged 3 commits into
mainfrom
davidkna-sap_ig-title-dbot

Conversation

@davidkna-sap
Copy link
Copy Markdown
Member

Follow-up for #6615 as not to break dependabot PRs.

Copy link
Copy Markdown
Contributor

@marikaner marikaner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I would prefer to just allow lowercase titles. Not a fan of this rule tbh. @davidkna-sap @ZhongpinWang @KavithaSiva @InjunPark-sap opinions?

@davidkna-sap
Copy link
Copy Markdown
Member Author

I would personally be fine with lowercase PR titles.

@marikaner
Copy link
Copy Markdown
Contributor

I would personally be fine with lowercase PR titles.

So either ask the rest of the team or ask for forgiveness later ;)

@davidkna-sap davidkna-sap force-pushed the davidkna-sap_ig-title-dbot branch from 0bd6594 to cafd822 Compare May 26, 2026 06:13
@davidkna-sap davidkna-sap changed the title chore: Allow dependabot to user lowercase PR titles chore: Allow lowercase PR titles May 26, 2026
@davidkna-sap davidkna-sap changed the title chore: Allow lowercase PR titles chore: allow lowercase PR titles May 26, 2026
@davidkna-sap davidkna-sap force-pushed the davidkna-sap_ig-title-dbot branch from 261d5c0 to 6403fec Compare May 26, 2026 09:31
@marikaner marikaner merged commit eb0b769 into main May 26, 2026
18 checks passed
@marikaner marikaner deleted the davidkna-sap_ig-title-dbot branch May 26, 2026 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants