[Python-Dev] GH-NNNN vs #NNNN in merge commit
> Why not just auto merge if the PR is approved, CI is all green, and no
> additional commits have been pushed?
My problem has been that I almost always still need to rewrite the commit
Especially when someone wrote "fix a typo" or "fix several typos".
If it automatically merges, then there's no opportunity to adjust the
So I suggest the option to provide the proper commit message to the
If not provided, I guess we'll use the GitHub PR title and description.
-------------- next part --------------
An HTML attachment was scrubbed...