tree 79924fa7f001cf9936d2bfeccb0b786023badb89
parent 4c9af22257822f1a4866a8c368d63205b37f2385
author Edwin Kempin <ekempin@google.com> 1461066439 +0200
committer Edwin Kempin <ekempin@google.com> 1463042581 +0200

Support ignore label that suppresses notifications on update

Users can now ignore a change by setting an ignore label on it.
Ignoring a change means that the user doesn't get any email
notifications for this change when it is updated.

Also ignored changes are filtered out from the 'Incoming reviews'
section of the user dashboard.

Bug: Issue 2576
Change-Id: I1a43f49c2f738ab74182f9dd9d469a0aaf4fe1df
Signed-off-by: Edwin Kempin <ekempin@google.com>