Shouldn't we make the prompt end configurable via git-prompt-colors.sh?