On Tuesday, 21 March 2017 at 11:59:42 UTC, deadalnix wrote:Then it should have been 2 PR or more to begin with. Splitting PR in smaller ones is a good practice in general,This is probably true for many cases, but I don't think it's a general truth.
Let's please not conflate a small technical discussion about how to preserve information in git (e.g. squash vs. merge vs. rebase) with a workflow debate about proper PR size.