From 93840c3bd145883ba55ffd47d5dafd86742b8ebd Mon Sep 17 00:00:00 2001
From: Michael Fellinger <michael.fellinger@iohk.io>
Date: Wed, 11 Oct 2023 21:10:39 +0200
Subject: [PATCH] now... actually push

---
 packages.cr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages.cr b/packages.cr
index 3e97a66..c09b53a 100755
--- a/packages.cr
+++ b/packages.cr
@@ -190,6 +190,7 @@ class CAPkgs
 
       raise "Couldn't add packages.json" unless sh("git", "add", "packages.json").success?
       raise "Couldn't commit result" unless sh("git", "commit", "-m", msg).success?
+      raise "Couldn't push changes" unless sh("git", "push").success?
     end
   end