Use github-actions as username for deployment

Much nicer this way!
pbelmans · Aug 23, 2023 · f9efa8d · f9efa8d
1 parent 6a5dd53
commit f9efa8d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/pdf.yml b/.github/workflows/pdf.yml
@@ -49,4 +49,7 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./github-deploy
           publish_branch: build
+          user_name: 'github-actions[bot]'
+          user_email: 'github-actions[bot]@users.noreply.github.com'
+          # remove this option if you want to have all builds preserved in the build directory
           force_orphan: true