[ofiwg] Coverity Scan: Analysis completed for ofiwg/libfabric

Your request for analysis of ofiwg/libfabric has been completed successfully. The results are available at

Re: [ofiwg] proposed change to libfabric pull request setting

> 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