Use proper email address and other minor tweaks

w3c · Jun 25, 2021 · fe81157 · fe81157
1 parent 9dd7d4b
commit fe81157
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
@@ -18,7 +18,7 @@ jobs:
     steps:
       - name: Checkout the repository
         uses: actions/checkout@v2
-      - name: Setup python 3.7
+      - name: Setup python 3.8
         uses: actions/setup-python@v2
         with:
           python-version: 3.8

diff --git a/deploy.sh b/deploy.sh
@@ -34,11 +34,11 @@ set -x
 
 # set up the github credentials
 
-git config --global user.email noreply@unknown.w3.org
+git config --global user.email w3cbot-gh@w3.org
 git config --global user.name w3cbot
 git config --global user.password $GITHUB_TOKEN
 
-REPO_URL="https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY.git"
+REPO_URL="https://w3cbot:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY.git"
 
 # set up old travis env