Added a reminder to 'git push' after tagging a release.

diff --git a/scripts/tagscript.sh b/scripts/tagscript.sh
index 8fc0823c49208b89b8902a83464a6d122872588a..9ba4826dbc6295306d678a3fe81bae453f47f1e7 100755 (executable)
--- a/scripts/tagscript.sh
+++ b/scripts/tagscript.sh
@@ -66,3 +66,11 @@ tar -cjvf $dst_name.tar.bz2 $dst_dir
 tar -cJvf $dst_name.tar.xz $dst_dir
 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).
+----------------------------------------------------------------------
+EOF
+