New patch to review for coreboot: board_status: Use explicit branch name in "git push"

[Jonathan Neuschäfer]

Jonathan Neuschäfer ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/14539

-gerrit

commit d3e39683814b6253993425e5bb7111b036873818
Author: Jonathan Neuschäfer 
Date:   Fri Apr 29 03:54:50 2016 +0200

board_status: Use explicit branch name in "git push"

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

Change-Id: I23a401b39dd851e9723676586c7f29afa111b49d
    Signed-off-by: Jonathan Neuschäfer 
---
 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 b315be1..6b4f2c6 100755
--- a/util/board_status/board_status.sh
+++ b/util/board_status/board_status.sh
@@ -357,7 +357,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