Skip to content
Snippets Groups Projects
Verified Commit dd55f893 authored by Sheogorath's avatar Sheogorath :european_castle:
Browse files

chore(utils): Fix git tool to push before delete

parent a1e013f1
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
utils/git.mk
+ 1
− 0
View file @ dd55f893
...@@ -7,4 +7,5 @@ commit: ## Commit changes to git, push them to the remote and inform flux about ...@@ -7,4 +7,5 @@ commit: ## Commit changes to git, push them to the remote and inform flux about
merge: merge:
git fetch git fetch
git merge --no-ff origin/$(BRANCH) --no-edit git merge --no-ff origin/$(BRANCH) --no-edit
git push
git push origin --delete $(BRANCH) git push origin --delete $(BRANCH)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment