relogin github-actions[bot]

.github/workflows/demo.yml

@@ -53,6 +53,12 @@ jobs:
           git config --local user.name "github-actions[bot]"
           git add --force .
           git commit -m "add contents of dist-files v${{ env.SPEC_VERSION }}"
+          echo "${{ env.GITHUB_TOKEN }}" > token.txt
+
+          # Authorize GitHub CLI for the current repository and
+          # create a pull-requests containing the updates.
+          gh auth login --with-token < token.txt
+
           git tag -a v${{ env.SPEC_VERSION }} -m "Update v${{ env.SPEC_VERSION }}"
           git push origin master --follow-tags --force
         env: