I actually merge by hand, not using github’s pull request ui…I typically manually squash/cherry-pick…sometimes I rebase. Cherry-picking allows a linear history.
I actually merge by hand, not using github’s pull request ui…I typically manually squash/cherry-pick…sometimes I rebase. Cherry-picking allows a linear history.