mirror of
https://github.com/git/git.git
synced 2026-03-23 15:10:07 +01:00
Error messages from "git push" can be painted for more visibility. * js/colored-push-errors: config: document the settings to colorize push errors/hints push: test to verify that push errors are colored push: colorize errors color: introduce support for colorizing stderr
78 KiB
78 KiB