[ofiwg] proposed change to libfabric pull request setting

Hefty, Sean sean.hefty at intel.com
Fri Jun 17 11:43:18 PDT 2022

The github GUI (that is, the "Merge pull request" button) for merging pull requests allows 3 different options for how the merge is done.  I believe the default is "Create a merge commit".  This results in the merge commit showing up in the git log.

I'd like to propose that we change this to "Rebase and merge", which applies the patches to the top of the tree.  If there's agreement, or no disagreement, I can force this setting by disabling the other merge options.

- Sean 

More information about the ofiwg mailing list