git-push: avoid falling back on pushing "matching" refs.