git: make push behave symmetrically to push