Maybe origin is missing

php · Feb 3, 2025 · c6d4ce0 · c6d4ce0
1 parent 833ad1d
commit c6d4ce0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/integrate.yaml b/.github/workflows/integrate.yaml
@@ -53,7 +53,7 @@ jobs:
 
       - name: "Merge doc-base changes from master"
         run: |
-          git -C doc-base fetch master
+          git -C doc-base fetch origin/master
           git -C doc-base -c user.email="()" -c user.name="()" merge --no-ff --no-commit master
           git -C doc-base diff --cached