FYI: the "signed-off-by-checker" CI on Github now ignores merge commits (because those usually aren't signed -- e.g., if you file PR A against an existing PR B, when someone merges A into B, there's now a merge commit on B). Previously, the signed-off-by-checker would flag such merge commits as not being signed.
You can see the new behavior on https://github.com/open-mpi/ompi/pull/3822. Specifically: #3822 contains a merge commit from https://github.com/tjcw/ompi/pull/1. The signed-off-by-checker now ignores that merge commit on #3822 and indicates that all the commits on 3822 are ok. Woo hoo! -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
