another hack on using gerrit as push remote