diff --git a/utils/git.mk b/utils/git.mk index 2ec04aa25e8c4eebda3bd83fd3fd99afc8461a2a..7095baf82b2f8a617c9f90f4e2bf0e8a9b2530ea 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)