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.