[ofiwg] merging commits into github
Zhang, Wei
wzam at amazon.com
Fri Feb 17 06:21:08 PST 2023
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-bounces at lists.openfabrics.org on behalf of sean.hefty at 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 at lists.openfabrics.org
https://lists.openfabrics.org/mailman/listinfo/ofiwg
More information about the ofiwg
mailing list