I agree squash-before-push is a good policy to maintain a readable commit
history.

I'd be +1 to doc this and squash the relevant commits.

Mike

On Wed, Jan 10, 2018 at 5:37 AM, Denes Arvay <[EMAIL PROTECTED]> wrote: