On Sunday, 26 February 2017 at 14:38:03 UTC, Seb wrote:
1) Commit squashing
Reminder: please only do this only when it makes sense to (one commit with significant changes followed by fixup commits that have no significance on their own). If the PR already has multiple commits split into logical changes, don't squash as it makes bisecting and inspecting history more difficult. If in doubt, do a regular merge.
