tree efc0bf7c2b106a112bcce6366d868afa0f8253fe
parent 68b872738127158a34036f30437601416c9e7624
author Luca Milanesio <luca.milanesio@gmail.com> 1483102926 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1483521101 +0000

Notify owner and reviewer for successful builds

When a change is pending verification, the reviewers need to be
notified that has completed successfully: some of them may have
the 'Submit' permissions and need to press the button to merge it.

Change-Id: I9bbbade8ec454e47148263da22c0b81abdb88291