+1

On Thu, Jan 9, 2020 at 10:39 AM tison <[email protected]> wrote:

> Hi developers,
>
> Recently I notice that the commit history contains a number of merge
> commits. Per the discussion
> of commit title commit IMO we prefer rebase (possibly squash) and merge
> instead of merging with
> a merge commit.
>
> If there is no objection I'm going to document the standard on our wiki
> page as
>
> HowToDevelop/Merging Pull Requests
>
> .
>
> Open to thoughts.
>
> Best,
> tison.
>

Reply via email to