You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When merging PRs with a merge commit, GitHub suggests this title:
Merge pull request #${number} from ${user}/${branch}
I suggest shortening this default to:
Merge PR #${number}
A similar feature, sync-pr-commit-title does something similar but just when squashing commits. This new feature could be named clean-merge-commit-title or shorten-merge-commit-title.
When merging PRs with a merge commit, GitHub suggests this title:
I suggest shortening this default to:
A similar feature,
sync-pr-commit-title
does something similar but just when squashing commits. This new feature could be namedclean-merge-commit-title
orshorten-merge-commit-title
.This issue replaces/follows #2768
The text was updated successfully, but these errors were encountered: