> Just want to confirm I understand correctly, > > The "create a merge commit" option is for git bot. > > When a human merge a PR, he/she should use "rebase and merge". Even when the > PR > contains change to document. > > Is that right?
Correct. _______________________________________________ ofiwg mailing list [email protected] https://lists.openfabrics.org/mailman/listinfo/ofiwg
