Adapt to change in Gerrit core

Change Id769ae946 moved PluginPushOption into another package.

Bug: Google b/279897514
Change-Id: Ie4f77baebb3dfac1fe7da30508288524edf5ceee
Signed-off-by: Edwin Kempin <ekempin@google.com>
2 files changed