On Fri, Dec 01, 2017 at 07:13:05PM +0100, Benjamin Drung wrote: > GitHub does not allow to rebase & merge the pull request. Is there any > reason to not allow the rebase & merge workflow? My commits are atomic > and the git history is cleaner without the merge commits. We have been using the merge workflow. I'm not sure this was every really discussed which is best or not. The git history is simpler with rebase, but merge preserves the 'what did I test' and preserves the series boundaries, which are also useful things. Jason -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
