That's what the _Extended suffix i added means :) On Fri, Jun 26, 2015 at 3:15 PM, Daan Hoogland <daan.hoogl...@gmail.com> wrote:
> 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 >