tree 5b62556c20dd2ba95dc86c697254d53058d10cd6
parent 190c13734f9106498e870f4b10c07adc17c2d725
author Stephen Li <stephenli@google.com> 1497565825 -0700
committer Stephen Li <stephenli@google.com> 1497565963 -0700

Add option to not auto-vote on merge success and/or failure.

Change-Id: Ie8e7d9051679d9958a946c0e07a700db5589e3c3