From 478c889847d863bb0813539810daaf0bdfc8c04b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jonathan=20Neusch=C3=A4fer?= <j.neuschaefer@gmx.net>
Date: Tue, 10 May 2016 17:43:53 +0200
Subject: [PATCH] board_status: Use explicit branch name in "git push"
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

In some configurations, "git push <remote>" (without a branch name)
refuses to do anything.

Change-Id: I23a401b39dd851e9723676586c7f29afa111b49d
Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-on: https://review.coreboot.org/14539
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: David Hendricks <dhendrix@chromium.org>
---
 util/board_status/board_status.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/board_status/board_status.sh b/util/board_status/board_status.sh
index 3dca85fb17..29d05b062a 100755
--- a/util/board_status/board_status.sh
+++ b/util/board_status/board_status.sh
@@ -383,7 +383,7 @@ if [ $UPLOAD_RESULTS -eq 1 ]; then
 	git add "${vendor}"
 	git commit -a -m "${mainboard_dir}/${tagged_version}/${timestamp}"
 	count=0
-	until git push origin || test $count -eq 3; do
+	until git push origin master || test $count -eq 3; do
 	        git pull --rebase
 		count=$((count + 1))
 	done