Fixing gitconfig issues on some systems and new oh-my-zsh default theme