From 23690487730752d201a34f77f6107967bd837358 Mon Sep 17 00:00:00 2001 From: Marin Usalj Date: Wed, 11 Mar 2015 09:08:41 -0700 Subject: [PATCH] move push to a better place --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d05f8c8..ea63a4b 100644 --- a/Makefile +++ b/Makefile @@ -26,7 +26,6 @@ test: # Merge changes into deploy branch push_deploy_branch: git fetch origin - git push origin master ifeq ($(shell git diff origin/master..master),) git checkout deploy git reset --hard origin/master @@ -55,6 +54,7 @@ github_release: version: update_install_url - git tag $(VERSION) - git commit -am "updated install script for version $(VERSION)" + - git push origin master update_install_url: sed -i '' -e 's/[.0-9]\{3,5\}/${VERSION}/' Scripts/install.sh