log when there's nothing to do

This commit is contained in:
arcnmx 2021-05-19 08:20:43 -07:00
parent 34a41a64ba
commit b262605e5a

View file

@ -61,6 +61,8 @@ with lib; {
GIT_SSH_COMMAND="ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no" \ GIT_SSH_COMMAND="ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no" \
git push gitea master git push gitea master
fi fi
else
echo "no source changes" >&2
fi fi
''; '';
impure = true; impure = true;