Meta: rename deploy script (#3697)

Author: bakkot

.github/workflows/deploy.yml

@@ -21,6 +21,6 @@ jobs:
           node-version: lts/*
           use-npm-ci: true
       - run: npm run build-only
-      - run: ./scripts/auto-deploy.sh
+      - run: ./scripts/deploy-github-pages.sh
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/pr-preview.yml

@@ -88,7 +88,7 @@ jobs:
           use-npm-ci: true
       - run: npm run build-only
       - run: node scripts/insert_snapshot_warning
-      - run: ./scripts/auto-deploy.sh --pr ${{ github.event.number }}
+      - run: ./scripts/deploy-github-pages.sh --pr ${{ github.event.number }}
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - id: get-preview-url