From 25ef1803e06995156ba31158ff3e5262e7bce564 Mon Sep 17 00:00:00 2001 From: Edwin Eefting Date: Fri, 12 Jan 2018 01:59:03 +0100 Subject: [PATCH] release bot fixes --- release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/release b/release index 416723391e..48ea33aedf 100755 --- 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