Can you let us know what you used as it's doing the job well :) CLI git merge or another UI; which one?
I'm also curious what will happen if there would be two authors on the same branch/pull request. Is it interactive or pre-configured to use author of the first commit, last commit, most of the commits? On Fri, Sep 20, 2019 at 1:40 PM Christoph M. Becker <cmbecke...@gmx.de> wrote: > On 20.09.2019 at 12:35, Alexandru Pătrănescu wrote: > > > Was this squash done during merging of a github pull request? > > Yes, it was when applying <https://github.com/php/php-src/pull/4621>. I > didn't use the Github UI, though. > > -- > Christoph M. Becker >
