Use force push for only javascript files to avoid any merge issues

microsoft · Jul 30, 2024 · 68f4b76 · 68f4b76
1 parent 9d14c8f
commit 68f4b76
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/official-build.yml b/.github/workflows/official-build.yml
@@ -44,9 +44,8 @@ jobs:
       run: |
         git config --global user.name 'github-actions[bot]'
         git config --global user.email 'github-actions[bot]@users.noreply.github.com'
-        git pull origin ${{ steps.extract_branch.outputs.branch }}
-        git add .
+        git add lib/.
         git commit -m 'Official Build: Compile TypeScript to JavaScript'
-        git push origin HEAD:${{ steps.extract_branch.outputs.branch }}
+        git push --force origin HEAD:${{ steps.extract_branch.outputs.branch }}
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}