tree ef4e8126f9dcd627b4221ee61576404422e2e62f
parent 83233eda9e5f25635ff888f0c00e92cb83cf012d
author Paul Hobbs <phobbs@google.com> 1429640628 -0700
committer ChromeOS Commit Bot <chromeos-commit-bot@chromium.org> 1431380871 +0000

validation_pool: Added pushing via Git

- _SubmitChange now defaults to Git if there is an associated repository
  in the Manifest.  Some changes will not be in the manifest, so we keep
  the old code under _SubmitChangeUsingGerrit.
- Changed _SubmitChange to delegate to git or gerrit depending on
  whether the commit is in the manifest.
- Linguicide of the word "optional"

BUG=chromium:473381
TEST=Modified unit tests pass.  Gerrit network tests pass.

Change-Id: I1b58ae8f174e7834d70bd6a5016101bc942fafaf
Reviewed-on: https://chromium-review.googlesource.com/267469
Reviewed-by: David James <davidjames@chromium.org>
Trybot-Ready: Paul Hobbs <phobbs@google.com>
Tested-by: Paul Hobbs <phobbs@google.com>
Commit-Queue: Paul Hobbs <phobbs@google.com>