Documentation: improve phrasing in git-push.txt

diff --git a/Makefile b/Makefile
index f69979e39e25bd0aae3dbdf21019d040aa1fd788..6b73c14aa0f2e09d4968e26385dc5668c3524428 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1564,7 +1564,7 @@ else
        REMOTE_CURL_NAMES = $(REMOTE_CURL_PRIMARY) $(REMOTE_CURL_ALIASES)
        PROGRAM_OBJS += http-fetch.o
        PROGRAMS += $(REMOTE_CURL_NAMES)
-       curl_check := $(shell (echo 070908; curl-config --vernum) | sort -r | sed -ne 2p)
+       curl_check := $(shell (echo 070908; curl-config --vernum) 2>/dev/null | sort -r | sed -ne 2p)
        ifeq "$(curl_check)" "070908"
                ifndef NO_EXPAT
                        PROGRAM_OBJS += http-push.o