tree bbaacfff89ae614d0218b38705e43ea4d455e59b
parent 3915f9a4fa2ae48b282a71f72113ca8629b27618
parent 79f62e7dd96ae0cf98b7eca1b763012d1a4db0bb
author Junio C Hamano <gitster@pobox.com> 1525762774 +0900
committer Junio C Hamano <gitster@pobox.com> 1525762774 +0900

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