Git: default push mode of "matching".