`sync-pr-commit-title` renames PR to "Merge pull request #XXX from <branch>"
See original GitHub issueThanks to #1743, PRs are renamed to the merge commit title. However, that’s typically an uninformative message, such as “Merge pull request #XXX from <branch>” — the PRs then shouldn’t be renamed, but are, per the screenshot. The automated rename is
Blaisorblade changed the title
Complete supporting guarded pDOT: Allow paths as value definitions, try 2Merge pull request #155 from Blaisorblade/path-defs-rebase-2
(I later renamed this back by hand).
Disabling sync-pr-commit-title
fixes the problem. Unfortunately, I’m only merging PRs in a private repo, so I can’t (yet) give a public link (but I should be able to, soon).
Issue Analytics
- State:
- Created 4 years ago
- Reactions:1
- Comments:12 (5 by maintainers)
Top Results From Across the Web
sync-pr-commit-title renames PR to "Merge pull request #XXX ...
First it copies the PR title to the PR commit title (even for merge commits, it should replace the default Merges... ) Then...
Read more >Merge pull request to a different branch than default, in Github
Click Edit next to the title, then select the branch from the dropdown. screenshot. You can now change the base branch of an...
Read more >sindresorhus/refined-github (Raised $2,687.94) - Issuehunt
"Compare" repo link should include the current branch/tag ... `sync-pr-commit-title` renames PR to "Merge pull request #XXX from <branch>".
Read more >Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start FreeTop Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Top GitHub Comments
I’ll limit this feature to squashing commits.
Fixed. At some point we’ll publish a new release. Currently we’re still waiting for the Chrome Web Store to publish the last update.