tree adf9d23b215884914c4b1f5b860e88a053ab3363
parent cff43bef9e9db990b367649c48af0ce4ebe8dcd5
author Edwin Kempin <ekempin@google.com> 1611838939 +0100
committer Edwin Kempin <ekempin@google.com> 1611934190 +0100

Extend change message when code owner override is applied

When a code owner override is applied, extend the change message that is
posted for the vote and say that this vote counts as code owner
override. This makes the effect of voting on the code owner override
label transparent to users. This is important since the code owner
override label is configurable and can have any name and users may not
be aware that a vote on this label counts as code owner override.

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: I6d073eb97c324080bf3f44629a5d92020b6fbcd5