that might be interesting too : https://cla-assistant.io/
Cheers,
Gilles
On Thu, Jul 13, 2017 at 8:20 PM, Jeff Squyres (jsquyres)
wrote:
> That's a good point.
>
> Hmmm. How would it recognize a revert commit?
>
> Sidenote... I think we'll likely have more details soon (in an email? wiki?
> s
That's a good point.
Hmmm. How would it recognize a revert commit?
Sidenote... I think we'll likely have more details soon (in an email? wiki?
something...), but we had a great discussion about adding some more bots to our
GitHub usage.
We found this:
https://github.com/probot
(e.g.,
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 yo
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
