-
-
Notifications
You must be signed in to change notification settings - Fork 1.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
sync-pr-commit-title
messing up PR title
#3829
Comments
It didn't happen for a similar PR: OpenLightingProject/open-fixture-library#1642 |
It happened again:
Now I am sure that it didn't suggest (or rather warn in this case 😅) to change the title before merging. |
New insights 💡It's caused by GitHub's new (beta) auto-merge feature: When a PR can't be merged immediately due to failing tests or missing reviews, the In both, there is a commit message input with id The code in |
I squashed and merged this PR without changing the commit title. Afterwards, the PR title was messed up:
The commit title is fine:
Unfortunately, I cannot remember if the feature suggested the title change before merging.
The text was updated successfully, but these errors were encountered: