🔀Merge pull request #83

👷 update user info for pr
This commit is contained in:
Ju4tCode 2020-11-26 21:05:16 +08:00 committed by GitHub
commit 84756f3092
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,10 +24,12 @@ jobs:
- env:
REF: ${{ github.event.workflow_run.head_branch }}
PR_REPO: ${{ github.event.workflow_run.head_repository.full_name }}
PR_USER: ${{ github.event.workflow_run.head_repository.owner.login }}
run: |
git config user.name GitHub
git config user.email noreply@github.com
git config user.name $PR_USER
git config user.email $PR_USER@users.noreply.github.com
git add .
git diff-index --quiet HEAD || git commit -m ":memo: update api docs"
git remote add target "https://github.com/${{ github.event.workflow_run.head_repository.full_name }}.git"
git remote add target https://github.com/$PR_REPO.git
git push target HEAD:$REF