chore: retry pushing converted code in registry conversion

hashicorp · Jul 11, 2023 · 304e250 · 304e250
1 parent 3f466a1
commit 304e250
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/registry-docs-pr-based.yml b/.github/workflows/registry-docs-pr-based.yml
@@ -176,8 +176,7 @@ jobs:
           git checkout -b d-cdktf-docs-${{ github.run_id }}-${{ github.run_number }}
           git add .
           git commit -m "cdktf: update ${{ matrix.files }}"
-          git pull origin d-cdktf-docs-${{ github.run_id }}-${{ github.run_number }} --rebase
-          git push origin d-cdktf-docs-${{ github.run_id }}-${{ github.run_number }}
+          for i in $(seq 1 10); do  git pull origin d-cdktf-docs-${{ github.run_id }}-${{ github.run_number }} --rebase && git push origin d-cdktf-docs-${{ github.run_id }}-${{ github.run_number }} && break || sleep 15; done
 
   cdktfDocsCreatePR:
     needs: