summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Neuschäfer <j.neuschaefer@gmx.net>2016-05-10 17:43:53 +0200
committerMartin Roth <martinroth@google.com>2016-05-13 17:29:35 +0200
commit478c889847d863bb0813539810daaf0bdfc8c04b (patch)
treeaf71689224c4a1c7b832fb7fe4847e1f3d77ab80
parentfc6a9f2c203772add5075fd0a2fa32005624dce8 (diff)
downloadcoreboot-478c889847d863bb0813539810daaf0bdfc8c04b.tar.xz
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 <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>
-rwxr-xr-xutil/board_status/board_status.sh2
1 files changed, 1 insertions, 1 deletions
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