GitHub squash and merge (Re: [macports-ports] branch master updated (e58232e -> af96137))

[Rainer Müller]

On 2017-01-13 03:16, Ryan Schmidt wrote:
> I know. And we want the history of our main repository to be reasonable, so it's necessary to fix PRs before merging.

Definitely should have been squashed into a single commit. At the moment
this needs to be done by the person taking the pull request in their
local git repository.

We discussed before whether we want to enable the "Squash and Merge"
functionality in the GitHub web interface. This came up multiple times
now, so it seems like we have use cases for it. Should we enable it now?

Rainer