Fair enough indeed. It would be good if someone from infra or a mentor could tell us if PR merges work well enough from the Github side, unless you all have already been merging by clicking merge on them there, or if those merges have to be done through the ASF repositories and locally. Since I am working on the static site, I have not looked at the other PRs and repositories to see, but it would be great if we are able to use a flow driven from the PRs directly through GH IMO.
Thanks much, Wade On Oct 11, 2017 2:18 PM, "Emilian Bold" <[email protected]> wrote: I only like squashing because I'm merging single commits and I don't want another 'merge' commit. Sure, if a feature is implemented and it has 20 commits, it does have some importance to preserve those since, if they are well made, there is some logical progression there that you will need for future reference. Other than this aspect, I think we are doing fine. Our changes so far are minor. Once we start contributing fixes and features and alter things deeper then we have to think about how to thread on thin ice more efficiently. ...snip
