fetch dev

Green-Software-Foundation · Sep 20, 2023 · 7dbf5e2 · 7dbf5e2
1 parent 2547137
commit 7dbf5e2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -19,6 +19,7 @@ jobs:
           git config user.name "${{ github.actor }}"
           git config user.email "${{ github.actor }}@users.noreply.github.com"
           git checkout webpage
+          git fetch origin dev
           git merge dev
 
       - name: Install Node.js