release bot fixes

mart-vi · Jan 12, 2018 · 25ef180 · 25ef180
1 parent 2bc7215
commit 25ef180
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release b/release
@@ -37,5 +37,5 @@ git tag -a "$NEW" -m "`cat /tmp/tagmessage`"
 
 
 ################ push everything
-git push
+git push origin HEAD
 git push --tags