git: use current push behavior