Add generic push changes to gerrit builder
[releng/global-jjb.git] / shell / gerrit-push-patch.sh
2018-04-21 Anil BelurAdd generic push changes to gerrit builder 78/9878/10