GitHub squash and merge (Re: [macports-ports] branch master updated (e58232e -> af96137))
raimue at macports.org
Fri Jan 13 09:41:15 UTC 2017
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?
More information about the macports-dev