diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-05-08 06:59:34 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-08 06:59:34 (GMT) |
commit | a56fb3dcc09239795823de40ffcbbf5713114eb5 (patch) | |
tree | bbaacfff89ae614d0218b38705e43ea4d455e59b /Documentation/git-worktree.txt | |
parent | 3915f9a4fa2ae48b282a71f72113ca8629b27618 (diff) | |
parent | 79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb (diff) | |
download | git-a56fb3dcc09239795823de40ffcbbf5713114eb5.zip git-a56fb3dcc09239795823de40ffcbbf5713114eb5.tar.gz git-a56fb3dcc09239795823de40ffcbbf5713114eb5.tar.bz2 |
Merge branch 'js/colored-push-errors'
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
Diffstat (limited to 'Documentation/git-worktree.txt')
0 files changed, 0 insertions, 0 deletions