Fix documentation workflow always trying to commit

Don't try to commit and push if there is nothing to commit, because git will exit with 1, failing the workflow.
A continuation of ca6b87d05e.
This commit is contained in:
penev92
2023-12-13 22:41:49 +02:00
committed by Pavel Penev
parent 59473bdf9f
commit 02d31a2f2c

View File

@@ -87,6 +87,7 @@ jobs:
cd wiki
git config --local user.email "actions@github.com"
git config --local user.name "GitHub Actions"
git status
git diff-index --quiet HEAD || \
(
git add --all && \
@@ -140,6 +141,7 @@ jobs:
cd docs
git config --local user.email "actions@github.com"
git config --local user.name "GitHub Actions"
git status
git diff-index --quiet HEAD || \
(
git add api/*.md && \