tweaking release process for next time

package/README.md

@@ -5,7 +5,7 @@ Creating a new release
 - Edit `conserver/version.h`
 - Update `CHANGES` with output of `./package/create-changes vx.y.z..`
 - Double-check and merge release branch
-- Run `./package/make-and-stage-release` to create distribution, pgp sign, tag release, and push to github
+- Run `GITHUB_TOKEN=xxxx ./package/make-and-stage-release` to tag release, create distribution, pgp sign, and push to github
 
 Requirements:
 

package/make-and-stage-release

@@ -7,6 +7,14 @@ local=false && [ "$1" = "local" ] && local=true
 [ -f conserver/version.h ] || { echo "you are in the wrong place" ; exit 1; }
 
 ver=`./package/get-version number`
+
+echo "Ready to tag release v$ver (y/N)?"
+read i
+if [ "$i" = "y" ]; then
+    echo "Adding git tag v$ver"
+    git tag -a -m "Release $ver" v$ver
+fi
+
 if [ ! -f ../conserver-$ver.tar.gz ] || $local; then
     (
 	[ -d build ] && rm -rf build
@@ -37,12 +45,12 @@ ls -l ../conserver-$ver.tar.gz*
 echo "Ready to push (y/N)?"
 read i
 if [ "$i" = "y" ]; then
-    git tag -a -m "Release $ver" v$ver && git push
+    git push --tags
     githubrelease release conserver/conserver create --name conserver-$ver --body "$body" v$ver ../conserver-$ver.tar.gz* 
     echo You can publish this release on the website or with:
     echo "    "githubrelease release conserver/conserver publish v$ver
 else
     echo Ok, here is the command I would have used:
-    echo "    "git tag -a -m \""Release $ver"\" v$ver \&\& git push
+    echo "    "git push --tags
     echo "    "githubrelease release conserver/conserver create --name conserver-$ver --body \""$body"\" v$ver ../conserver-$ver.tar.gz* 
 fi