Closed Alhadis closed 3 years ago
How to "not squash-merge"?
How to "not squash-merge"?
At the bottom of this page, there should be a green button labelled Merge pull request
:
Click the little arrow on the right, and you should see this menu:
Make sure Create a merge commit is selected (shown above).
This seems to be the default anyway.
At first glance the changes look good. Do others have objections?
This PR is a grab-bag of various cosmetic improvements and polishes, each of which is documented in full in their respective commits. I've endeavoured to keep my changes atomic, unintrusive, and uncontroversial.
The commit notes include a justification for each change, and I recommend not squash-merging them to retain them in the revision history.
/cc @nbuwe, @reffort, @n-t-roff