diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/board_status/board_status.sh | 2 |
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 |