From 0fbc07cdba87e67272148e20f7970c471703907a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Manuel=20Barroso=20Galindo?= Date: Fri, 13 May 2022 19:53:25 +0200 Subject: [PATCH] Changing zip branch handling --- .github/calculate_db.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/calculate_db.py b/.github/calculate_db.py index 20d1f1cae..5c85c0f6b 100755 --- a/.github/calculate_db.py +++ b/.github/calculate_db.py @@ -460,8 +460,9 @@ def create_db(folder, options, tags): run_succesfully('git fetch origin main || true') if not run_conditional('git diff --quiet main origin/zips'): print('zip branch has changes') - run_succesfully('git update-ref -d refs/remotes/origin/zips') - run_succesfully('git push --force origin new_zips:zips') + run_succesfully('git push origin :zips zips_backup') + run_succesfully('git push origin new_zips:zips') + run_succesfully('git push origin --delete zips_backup') else: print('Using old zip branch from origin') zip_sha = run_stdout('git rev-parse --verify origin/zip').strip()