Set push.default option in gitconfig to make git happy