Improved the post-tagging push instructions on the release tagging script.

diff --git a/scripts/tagscript.sh b/scripts/tagscript.sh
index 9ba4826dbc6295306d678a3fe81bae453f47f1e7..8a4a4e821b5d257c9ea7d3de63d1e8532445e174 100755 (executable)
--- a/scripts/tagscript.sh
+++ b/scripts/tagscript.sh
@@ -69,8 +69,8 @@ rm -rf $dst_dir
 cat 1>&2 <<EOF
 ----------------------------------------------------------------------
 The v$ver tag has been committed locally, but it will not be
-globally visible until you 'git push' this repository up to the server
-(I didn't do that for you).
+globally visible until you 'git push --tags' this repository up to the
+server (I didn't do that for you, as you might want to review first).
 ----------------------------------------------------------------------
 EOF