push: avoid suggesting "merging" remote changes