On Fri, Jun 26, 2015 at 3:13 PM, Rafael Fonseca <rsafons...@gmail.com> wrote: > Or if we really want the extra overhead: > > ( Green_Travis && 2LGTM) || ( Red_Travis_false_positive && 3LGTM_Extended)
or ( Green_Travis && 2LGTM) || ( Red_Travis_false_positive && 2LGTM_Extended && justification in writing) that was the idea expressed -- Daan
