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>
4 files changed
