I thought "Rebase and merge" caused an issue, which was the man page was not
automatically updated. Is that the case?
On 2/16/23, 8:26 AM, "ofiwg on behalf of Hefty, Sean"
<ofiwg-boun...@lists.openfabrics.org on behalf of sean.he...@intel.com> wrote:
CAUTION: This email originated from outside of the organization. Do not
click links or open attachments unless you can confirm the sender and know the
content is safe.
If you merge a PR into github, please use "Rebase and merge" instead of
"Create a merge commit". The former makes git log cleaner and easier to find
specific commits to cherry-pick.
You can change the merge setting by clicking on the down arrow next to the
merge button.
- Sean
_______________________________________________
ofiwg mailing list
ofiwg@lists.openfabrics.org
https://lists.openfabrics.org/mailman/listinfo/ofiwg
_______________________________________________
ofiwg mailing list
ofiwg@lists.openfabrics.org
https://lists.openfabrics.org/mailman/listinfo/ofiwg
