validation_pool: check git log diff between local HEAD and remote_ref
When the local repository doesn't contain the branch ('master') to push
to, running git log diff on revisions will error.
BUG=chromium:786395
TEST=None
Change-Id: I22f61ec9a9c1d46eff88d8bf54a5e257077dcbbf
Reviewed-on: https://chromium-review.googlesource.com/777384
Commit-Ready: Ningning Xia <nxia@chromium.org>
Tested-by: Ningning Xia <nxia@chromium.org>
Reviewed-by: Shuqian Zhao <shuqianz@chromium.org>
Reviewed-by: Paul Hobbs <phobbs@google.com>
1 file changed
