git pull before push, just in case

GTNewHorizons · Mar 3, 2024 · 2350782 · 2350782
1 parent 4705cd4
commit 2350782
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/publish-nightly-lang-pack.yml b/.github/workflows/publish-nightly-lang-pack.yml
@@ -69,6 +69,7 @@ jobs:
           cd ..
       - name: Push commits and tag
         run: |
+          git pull
           git push -d origin ${{ inputs.target_lang }}-latest || :
           gh release delete ${{ inputs.target_lang }}-latest || :
           git tag ${{ inputs.target_lang }}-latest

diff --git a/.github/workflows/save-nightly-modpack-history.yml b/.github/workflows/save-nightly-modpack-history.yml
@@ -52,4 +52,5 @@ jobs:
           TARGET_LANG: "en_US"
       - name: Push commit
         run:
+          git pull
           git push origin master