Fix bold in informative git prompt.

Currently this fix is useless, as web config cannot apply variables,
but in future, it could be more useful.