gitconfig: push defaults