push: default to single remote even when not named origin