Thanks Jeff,
one more improvement : could you please have the bot also ignore revert commits ?
Cheers, Gilles On 7/7/2017 11:56 PM, Jeff Squyres (jsquyres) wrote:
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!
_______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
