keep on hacking on deploy

johnynek · Feb 11, 2024 · a3b555b · a3b555b
1 parent d3bc3dd
commit a3b555b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy_web.yml b/.github/workflows/deploy_web.yml
@@ -14,6 +14,7 @@ jobs:
 
     env:
       BOSATSU_CI: "true"
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
       - uses: "actions/checkout@v2"
         with:
@@ -42,4 +43,4 @@ jobs:
           cp -r web_deploy/* .
           git add .
           git commit -m "Deploy updates"
-          git push origin gh-pages
+          git push --force origin gh-pages