.gitignore now ignores Util/git-prompt.sh