artin/sourcegraph
1
0
Fork 0
mirror of https://github.com/sourcegraph/sourcegraph.git synced 2026-02-06 15:31:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix(docs): no delivery if triggered without changes (#61578)

Browse Source
This commit is contained in:
Jean-Hadrien Chabran 2024-04-04 11:08:41 +02:00 committed by GitHub
parent db43f32431
commit e771657b46
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
doc/_generated.push.sh
View File

@ -49,7 +49,16 @@ find docs/admin/observability -name "*.md" -print0 | xargs --null --no-run-if-em
find docs/cli -name "*.md" -print0 | xargs --null --no-run-if-empty rm
git add .
git diff
# git diff --exit-code returns non-zero if there is an actual diff. So if there is none, it means that there is
# nothing to deliver and we can safely stop here.
if git diff --exit-code; then
echo "No changes detected on the generated docs, exiting gracefully without delivering a PR on the docs."
echo "This most likely happened because an input changed, such as the tools but the actual output, i.e."
echo "the generated docs, didn't change."
exit 0
fi
git commit -m "🤖 sync'ing generated docs"
git push origin "$_branch"