set push.default in gitconfig