From 19359b1805cf27ca22db658bc928f7a2f0b15e9e Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Thu, 31 Jul 2025 12:04:36 +0100
Subject: [PATCH] dev-commit: push the changes after committing

---
 packages/dev-commit.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/packages/dev-commit.nix b/packages/dev-commit.nix
index 23fa8721..e71aa095 100644
--- a/packages/dev-commit.nix
+++ b/packages/dev-commit.nix
@@ -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