From 7a5f5e01eb70ec5fba9f87e16669535b86751e81 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 28 Sep 2017 19:12:35 +0200
Subject: [PATCH] Fixed release script

changed in order to work according to
e9aa6730d717351cbb0c92dacf3101c94b9e0faf
---
 release.sh | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/release.sh b/release.sh
index 1f4f61a74..87405581f 100755
--- a/release.sh
+++ b/release.sh
@@ -114,8 +114,7 @@ if ! test "$VALIDATED" ; then
   update_changelog CHANGES/v$shortversion.txt $version $shortversion "coming soon"
   echo 
   msg="Travis tests for v$version
-
-[makedoc]"
+"
   echo "Now I will add an empty commit and push the result to origin"
   echo "I will use the following commands:"
   echo "***"
@@ -126,7 +125,7 @@ if ! test "$VALIDATED" ; then
   confirm || exit
   git add CHANGES/v$shortversion.txt
   git commit --allow-empty -m "$msg"
-  git push origin v$shortversion
+  git push -f origin v$shortversion:test-v$shortversion
   echo
   echo "Now you should go at this link:"
   echo "  http://travis-ci.org/plumed/plumed2/builds"
@@ -147,8 +146,7 @@ else
   cat VERSION
   echo "***"
   msg="Release v$version
-
-[makedoc]"
+"
   echo "Now I will add it, prepare a release commit, add a tag named v$version"
   echo "push it to origin and create a tgz file"
   echo "I will use the following commands:"
-- 
GitLab