.gitconfig: Old git versions don't like push.default = simple.