force push

galaxyproject · Dec 7, 2023 · afbe5db · afbe5db
1 parent 26c7e1e
commit afbe5db
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/fetch_all_tools.yaml b/.github/workflows/fetch_all_tools.yaml
@@ -44,7 +44,7 @@ jobs:
           git config user.name github-actions
           git config user.email [email protected]
           git diff --quiet || (git add results && git commit -m "fetch all tools bot - step collect") 
-          git push
+          git push -f
   fetch-all-tools-merge:
     runs-on: ubuntu-20.04
     needs: fetch-all-tools-stepwise
@@ -63,4 +63,4 @@ jobs:
           git config user.name github-actions
           git config user.email [email protected]
           git diff --quiet || (git add results && git commit -m "fetch all tools bot  - step merge") 
-          git push
+          git push -f