mirror of
https://github.com/git/git.git
synced 2026-01-22 00:16:01 +00:00
To help users discern large chunks of white text (when the push succeeds) from large chunks of white text (when the push fails), let's add some color to the latter. This closes https://github.com/git-for-windows/git/pull/1429 and fixes https://github.com/git-for-windows/git/issues/1422 Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>