tree 97a886bb78c68e3677717744d4e6e1c2b2a0a761
parent d3c729cc8b54e127e1ee52cd07eda4d96ae2928f
author Gal Paikin <paiking@google.com> 1617013723 +0200
committer Gal Paikin <paiking@google.com> 1617013955 +0200

Add a user to the attention set if their vote is removed

This is only applicable if someone else removed their vote. This change
is useful since if the user's vote was removed, it means they probably
need to take some action (unless they are no longer reviewers which
means they won't be in the attention set).

We think this rule usually will make sense, but it's likely that in some
cases the attention set will just need to manually be adjusted to remove
the user that was added from this logic.

Change-Id: I76300115f073b91701a937edf58dd81021d76e68