dev-commit: push the changes after committing
All checks were successful
/ check (push) Successful in 1m45s

This commit is contained in:
Oliver Davies 2025-07-31 12:04:36 +01:00
parent 0f145a892d
commit 19359b1805

View file

@ -29,6 +29,12 @@ pkgs.writeShellApplication {
if git commit -m "Automated dev commit"; then
logger "Commit successful in $repo"
if git push; then
logger "Push successful in $repo"
else
logger "Push failed in $repo"
fi
else
logger "No changes to commit in $repo"
fi