try again

.github/workflows/deploy_web.yml

@@ -12,7 +12,10 @@ jobs:
     env:
       BOSATSU_CI: "true"
     steps:
-      - uses: "actions/[email protected]"
+      - uses: "actions/checkout@v2"
+        with:
+          persist-credentials: false  # This is important for the step that pushes to gh-pages
+
       - uses: "coursier/cache-action@v2"
       - name: "java 11 setup"
         uses: "olafurpg/setup-scala@v13"
@@ -27,10 +30,13 @@ jobs:
           cp outwatch/index.html web_deploy/compiler/
           cp outwatch/.js/target/scala-2.13/scalajs-bundler/main/bosatsu-outwatch-opt-bundle.js web_deploy/compiler/bosatsu_ui.js
 
-      - uses: actions/checkout@v2
-
       - name: Deploy to GitHub Pages
-        uses: JamesIves/[email protected]
-        with:
-          branch: gh-pages  # The branch the action should deploy to.
-          folder: web_deploy       # The folder the action should deploy.
+        run: |
+          git config --global user.email "[email protected]"
+          git config --global user.name "GitHub Actions"
+          git fetch --depth=1 origin gh-pages
+          git checkout -b gh-pages origin/gh-pages
+          cp -r web_deploy/* .
+          git add .
+          git commit -m "Deploy updates"
+          git push origin gh-pages