force push to ndc-hub and cli-plugins-index if branch name exists

hasura · Oct 15, 2024 · 91b08c3 · 91b08c3
1 parent 480af59
commit 91b08c3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy-stage.yaml b/.github/workflows/deploy-stage.yaml
@@ -272,7 +272,7 @@ jobs:
 
           git add .
           git commit -m "Release ClickHouse $GITHUB_REF_NAME"
-          git push origin $BRANCH_NAME
+          git push origin $BRANCH_NAME --force
 
           # create a pull-requests containing the updates.
           gh pr create \
@@ -344,7 +344,7 @@ jobs:
 
           git add .
           git commit -m "Release ClickHouse $GITHUB_REF_NAME"
-          git push origin $BRANCH_NAME
+          git push origin $BRANCH_NAME --force
 
           # create a pull-requests containing the updates.
           gh pr create \