From 7efb8e94809ea92e0f844ac6ac06688cd54e7cb0 Mon Sep 17 00:00:00 2001
From: Simon Pasquier <spasquie@redhat.com>
Date: Thu, 18 Apr 2019 12:01:49 +0200
Subject: [PATCH] scripts/sync_makefiles.sh: redirect git-push to /dev/null
 (#5478)

Signed-off-by: Simon Pasquier <spasquie@redhat.com>
---
 scripts/sync_makefiles.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/sync_makefiles.sh b/scripts/sync_makefiles.sh
index 767d1e2f7..70b728580 100755
--- a/scripts/sync_makefiles.sh
+++ b/scripts/sync_makefiles.sh
@@ -58,8 +58,8 @@ curl --retry 5 --silent -u "${git_user}:${GITHUB_TOKEN}" https://api.github.com/
 		git config user.name "${git_user}"
 		git add .
 		git commit -s -m "${commit_msg}"
-		# stderr is redirected to /dev/null otherwise git-push could leak the token in the logs.
-		if git push --quiet "https://${GITHUB_TOKEN}:@github.com/${org}/${repo}" --set-upstream "${branch}" 2>/dev/null; then
+		# stdout and stderr are redirected to /dev/null otherwise git-push could leak the token in the logs.
+		if git push --quiet "https://${GITHUB_TOKEN}:@github.com/${org}/${repo}" --set-upstream "${branch}" 1>/dev/null 2>&1; then
 			curl --show-error --silent \
 				-u "${git_user}:${GITHUB_TOKEN}" \
 				-X POST \