set user_email for pages build

This commit is contained in:
Dan Halbert 2023-07-21 08:27:53 -04:00 committed by GitHub
parent b374e3221d
commit bff17c13f7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -73,4 +73,5 @@ jobs:
publish_dir: ./build
cname: circuitpython.org
user_name: ${{ secrets.ADABOT_GITHUB_USER }}
user_email: ${{ secrets.ADABOT_GITHUB_EMAIL }}
if: github.event_name != 'pull_request'