Re: Re: Question about merged PR #937
| From: | Alexandru Pătrănescu | Date: | Fri, 20 Sep 2019 10:59:20 +0000 |
| Subject: | Re: Re: Question about merged PR #937 | ||
| References: | 1 2 3 4 5 6 7 8 9 10 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-107265@lists.php.net to get a copy of this message | ||
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 <cmbecker69@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
>