tree 503820004feb3ded0b72ff3bd2ca0121515169fd
parent fd463c84bfb342701061fe383c6d17e7a1bd4786
author James E. Blair <jeblair@hp.com> 1433170909 -0700
committer James E. Blair <jeblair@hp.com> 1433170909 -0700

Allow 'MAY' in Gerrit submit records

If a review label uses NoOp, then it will indicate 'MAY' as the
status in the submit record for that label (indicating that there
are no criteria for that label to be satisfied).  Treat that in
the same way as OK so that a merge can occur.

Change-Id: I24be23d16aa133a3323b79bd775d42678ebc1dfe