chore: delete branch on origin (#3298)

algolia · Jul 1, 2024 · 0ce7f8a · 0ce7f8a
1 parent cd6bb82
commit 0ce7f8a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -440,7 +440,7 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.ALGOLIA_BOT_TOKEN }}
           PR_NUMBER: ${{ github.event.number }}
 
-      - name: update generation commend
+      - name: update generation comment
         uses: marocchino/sticky-pull-request-comment@v2
         with:
           message: |

diff --git a/.github/workflows/cleanup.yml b/.github/workflows/cleanup.yml
@@ -2,14 +2,15 @@ name: Cleanup generated branch
 
 on:
   pull_request:
-    types: closed
+    types: [closed]
 
 jobs:
   cleanup:
     runs-on: ubuntu-22.04
     timeout-minutes: 10
     permissions:
       pull-requests: write
+      contents: write
     steps:
       - uses: actions/checkout@v4
 

diff --git a/scripts/ci/codegen/pushGeneratedCode.ts b/scripts/ci/codegen/pushGeneratedCode.ts
@@ -41,7 +41,7 @@ export async function pushGeneratedCode(): Promise<void> {
   const branchToPush = isMainBranch ? baseBranch : `generated/${baseBranch}`;
 
   if (!isMainBranch) {
-    await run(`git push -d generated/${baseBranch} || true`);
+    await run(`git push -d origin generated/${baseBranch} || true`);
 
     console.log(`Creating branch for generated code: '${branchToPush}'`);
     await run(`git checkout -b ${branchToPush}`);