git: modified default push strategy from 'matching' to 'simple'