Use auth token to clone repo

This should fix pushing, since DFHack-Urist now has permission to push to develop.
develop
lethosor 2021-02-19 23:45:51 -05:00
parent 24c499c108
commit e2bda663d0
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
1 changed files with 1 additions and 0 deletions

@ -20,6 +20,7 @@ jobs:
fetch-depth: 0
ref: ${{ github.event.inputs.branch }}
submodules: true
token: ${{ secrets.DFHACK_GITHUB_TOKEN }}
- name: Update submodules
run: |
git config user.name "DFHack-Urist via GitHub Actions"