Set push.default to simple in dotfiles/.gitconfig