Only push tags to gerrit

A bare push will attempt to push tags back to upstream repos, which will
not work.

Change-Id: Id516a792a00d1773274fc04bd3fd2c447c9cbd95
1 file changed