On Mon, 5 Apr 2021, 22:48 antonio, <[email protected]> wrote: > Sorry for the late reply. > > +1 to disable the squash-and-merge button in github. >
I'm +1 to this in retrospect too, as long as we also squash and force push to PR branches to merge where needed (every committer can by default). I've done this with a few where author wanted help. Direct merges to master with manually closed PRs cause other issues for us during releases, so can we please stop that one? Best wishes, Neil >
