Preference for merging PRs

[Jint-lzxy]

So the way PRs are merged now is not the same. Basically we have three options: "Create a merge commit", "Squash and merge" and "Rebase and merge". Both @CharlesChiuGit and I chose "Squash and merge" and @ayamir chose "Create a merge commit".

FWIW we should unify the way of merging PRs. I tend to use "Squash and merge" b/c it can maintain linear commit history & make the commit tree more concise. What do you guys think?

[CharlesChiuGit]

second with u, and the reasons are the same.

[ayamir]

I tend to use "Squash and merge" b/c it can maintain linear commit history & make the commit tree more concise.

ok, I use the former just because it's the default option.