> OTOH if the mergers decide they want to do something I don't want a tool
preventing us doing it, which is what my questions were driving at. We're
way smarter than the tool.
The status should not prevent a possibility of merge but if the cross next
to the commit would be a problem we can add an override to disable tyr
check (meaning make it pass manually) with a comment or similar as
suggested above.
The time the cross becomes a problem is if we adopt a set of verification
rules that we know will regularly trigger a failure to be ignored, if the
failure cases to be ignored are truly exceptional cases then the cross will
be useful.
Martin
>