From dd55f893b435414ae7361719b44ef6553369353d Mon Sep 17 00:00:00 2001
From: Sheogorath <sheogorath@shivering-isles.com>
Date: Wed, 25 May 2022 16:40:54 +0200
Subject: [PATCH] chore(utils): Fix git tool to push before delete

---
 utils/git.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/git.mk b/utils/git.mk
index 2ec04aa25..7095baf82 100644
--- a/utils/git.mk
+++ b/utils/git.mk
@@ -7,4 +7,5 @@ commit: ## Commit changes to git, push them to the remote and inform flux about
 merge:
 	git fetch
 	git merge --no-ff origin/$(BRANCH) --no-edit
+	git push
 	git push origin --delete $(BRANCH)
-- 
GitLab