Use origin remote (#519)

nand2tetris · Dec 3, 2024 · 91f0222 · 91f0222
1 parent 27a1c4e
commit 91f0222
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
@@ -42,8 +42,8 @@ jobs:
           npm run -w web deploy
           VERSION=$(grep version package.json | awk -F\" '{print $4}')
           git tag "$VERSION" main
-          git push "$REMOTE" "$VERSION"
-          git push "$REMOTE" main
+          git push origin "$VERSION"
+          git push origin main
         env:
           user_name: "github-actions[bot]"
           user_email: "github-actions[bot]@users.noreply.github.com"