config: document the settings to colorize push errors/hints
commit79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 21 Apr 2018 10:10:07 +0000 (21 12:10 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Apr 2018 01:38:47 +0000 (24 10:38 +0900)
tree03631c3bd9bc7f77291686cd6fd25b729254feaa
parent8301266afa4a54ec3c27ac874017371b0a3178e1
config: document the settings to colorize push errors/hints

Let's make it easier for users to find out how to customize these colors.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt