Avoid pushing .git to server

StanfordHCI · Mar 14, 2024 · 70f65d3 · 70f65d3
1 parent 6d88f8a
commit 70f65d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -24,7 +24,7 @@ jobs:
     - uses: AEnterprise/[email protected]
       env:
         DEPLOY_KEY: ${{ secrets.PRIVATE_KEY }}
-        ARGS: "-c -r --delete"
+        ARGS: "-c -r --delete --exclude='.git/'"
         SERVER_PORT: 22
         FOLDER: ./
         SERVER_IP: ${{ secrets.HOST }}