feature sync-pr-commit-title randomly renaming title to automatic merge commit name #2733

it started happening today

I'm using the default "create a merge commit"

here is the PR used for screenshots https://github.com/MathieuDerelle/issue-example-for-refined-github-1/pull/6

normaly when I click "merge pull request", the title of the PR is in the first input field :

but sometimes, randomly, the title changes and takes the name of the commit that will be created to merge the PR : thus the PR title name is updated to this generic (not helpfull for searching PR/issues) "Merge pull request #{n} from {branch}"

Here are 2 PRs merged and renamed by this bug :

• https://github.com/MathieuDerelle/issue-example-for-refined-github-1/pull/2
• https://github.com/MathieuDerelle/issue-example-for-refined-github-1/pull/5

and PRs merged normally :

• https://github.com/MathieuDerelle/issue-example-for-refined-github-1/pull/1
• https://github.com/MathieuDerelle/issue-example-for-refined-github-1/pull/3
• https://github.com/MathieuDerelle/issue-example-for-refined-github-1/pull/4