Merge pull request #12008 from protocolbuffers/zhangskz-patch-2

Allow empty commits for update_php_repo
pull/12035/head
zhangskz 2 years ago committed by GitHub
commit 7aad6f887a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      .github/workflows/update_php_repo.yml

@ -43,7 +43,7 @@ jobs:
- name: Push Changes
run: |
git add --all
git commit -m "${{ env.VERSION }} sync"
git commit --allow-empty -m "${{ env.VERSION }} sync"
git push --force origin master
git tag -a ${{ env.VERSION_TAG }} -m "Tag release ${{ env.VERSION_TAG }}"
git push origin ${{ env.VERSION_TAG }}

Loading…
Cancel
Save