tree 2c4e63682c9a1adfff6681491a7fa92fdfb7321b
parent c849db89d32bdc8c5a0f5c123201ad74f1006934
author Edwin Kempin <ekempin@google.com> 1739180752 +0000
committer Edwin Kempin <ekempin@google.com> 1739180752 +0000

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>