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>