Another proposal: Clean up "update directory" job, as well

relates to ##720

Cleaned up and updated the job description file a bit. Instead of attempting to commit every single time, we check if the DIRECTORY file actually has changes first.
This commit is contained in:
Roland Hummel
2021-10-03 23:33:00 +02:00
parent 6f9b1f127f
commit 21d4096446
2 changed files with 25 additions and 9 deletions

10
.github/workflows/commitAndPushDirectory.sh vendored Executable file
View File

@@ -0,0 +1,10 @@
if ! git diff --quiet DIRECTORY.md; then
echo Changes found, attempting to commit and push...
git add DIRECTORY.md
git commit -am "Auto-update DIRECTORY.md" || true
git push --force origin HEAD:$GITHUB_REF || true
echo ... done.
else
echo No changes found, exiting.
fi