Push only when there are changes

This commit is contained in:
Manuel Bustillo 2024-10-27 22:09:02 +01:00
parent 9fe306004b
commit 02817de72a

View File

@ -25,9 +25,8 @@ jobs:
if [ -n "$(git status --porcelain)" ]; then
echo "there are changes";
git commit -m "Add copyright notice"
git push
else
echo "no changes";
fi
git commit -m "Add copyright notice"
- name: Push changes
run: git push