👷 update user info for pr

This commit is contained in:
yanyongyu 2020-11-26 20:53:28 +08:00
parent b2902407d7
commit 309c6d1ed0

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