changing the git 'push.default' setting to 'simple'