From 55c2589d21488f945d7211b36bdf63ee5a2ce7f2 Mon Sep 17 00:00:00 2001
From: Martin Bernstorff <martinbernstorff@gmail.com>
Date: Sun, 15 Oct 2023 11:14:04 +0000
Subject: [PATCH] dev: push changes on succesful tests

---
 makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makefile b/makefile
index 98f0670..120a080 100644
--- a/makefile
+++ b/makefile
@@ -9,5 +9,6 @@ type-check:
 
 pr:
 	make lint & make test & make type-check
+	git push
 	gh pr create
 	gh pr merge --auto --merge
\ No newline at end of file