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
Github's squash and merge button suggests all of the commit titles, but strips merge requests. Not sure about [squash] and !fixup commit messages, but would be sensible to strip those as well.
The text was updated successfully, but these errors were encountered:
Has been disabled for now by removing the auto-merge-squash labels. Should stay removed until dlang-bot learns to synthesized the correct commit message or can do rebase --autosquash itself.
Usually we use squash when a contributor doesn't have a proper commit separation - e.g. create 30 commits as the result of review. So IMO we should pick the PR title / body instead.
Github's squash and merge button suggests all of the commit titles, but strips merge requests. Not sure about
[squash]
and!fixup
commit messages, but would be sensible to strip those as well.The text was updated successfully, but these errors were encountered: