One more fix

This commit is contained in:
igor725 2024-03-31 21:01:41 +03:00
parent 3eae2ec14b
commit 83c94ad138
No known key found for this signature in database
GPG Key ID: 46F13BBE46F8569D

View File

@ -33,8 +33,9 @@ jobs:
- name: Push wiki content
run: |
rsync -av --delete main_repo/docs/wiki/ wiki_repo/ --exclude .git
cd wiki_repo
git add .
git commit -m "Update wiki content"
git push -f --set-upstream https://${{ secrets.REPO_FULL_TOKEN }}@github.com/${{ github.repository }}.wiki.git master
rsync -av --delete main_repo/docs/wiki/ wiki_repo/ --exclude .git;
cd wiki_repo;
git add .;
if git commit -m "Update wiki content"; then
git push -f --set-upstream https://${{ secrets.REPO_FULL_TOKEN }}@github.com/${{ github.repository }}.wiki.git master;
fi