commit 98875110127e134cf30a3495bb43d021a29c4e9f Author: hiro hiro@torproject.org Date: Sat Aug 31 11:41:03 2019 +0200

Modify update_files --- scripts/update_files | 37 +++++++++++++++++-------------------- 1 file changed, 17 insertions(+), 20 deletions(-)

diff --git a/scripts/update_files b/scripts/update_files index ee9790b..44584c7 100644 --- a/scripts/update_files +++ b/scripts/update_files @@ -10,7 +10,6 @@ # :license: This is Free Software. See LICENSE for license information.

cd ~/releases -git checkout -B releases rm -f torbrowser-* TorBrowser-* tor-browser-*

for row in $( @@ -24,24 +23,22 @@ for row in $( ); if [[ $r = *[!\ ]* ]]; then wget $r + git fetch --all + git checkout -B releases + git add . + git commit -m '[dist ci] commit from CI runner - update with new torbrowser downloads' + diffs=$(git diff origin/releases) + if [ -z "$diffs" ]; then + echo "No new releases" + else + git push -f --follow-tags origin releases + fi + git checkout -b torbrowser-releases + diffs=$(git diff github/torbrowser-releases) + if [ -z "$diffs" ]; then + echo "No new releases" + else + git push -f --follow-tags github torbrowser-releases + fi fi; done - -git add . -git commit -m '[dist ci] commit from CI runner - update with new torbrowser downloads' -diffs=$(git diff origin/releases) -if [ -z "$diffs" ]; then - echo "No new releases" -else - git push -f --follow-tags origin releases -fi - -git fetch --all -git checkout -b torbrowser-releases - -diffs=$(git diff github/torbrowser-releases) -if [ -z "$diffs" ]; then - echo "No new releases" -else - git push -f --follow-tags github torbrowser-releases -fi