]> granicus.if.org Git - git/commit
projects / git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8301266) | patch
config: document the settings to colorize push errors/hints
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Sat, 21 Apr 2018 10:10:07 +0000 (12:10 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Apr 2018 01:38:47 +0000 (10:38 +0900)
commit79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb
tree03631c3bd9bc7f77291686cd6fd25b729254feaatree | snapshot
parent8301266afa4a54ec3c27ac874017371b0a3178e1commit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.