.gitconfig: add default option for push.default required in latest versions of git
.zshrc: initialize prompt to the simple version by default