From 8b25d5c685dbbf4e94c78213f3ba4577d2d6a3c6 Mon Sep 17 00:00:00 2001 From: Christian Starkjohann Date: Mon, 9 Jan 2012 00:43:28 +0100 Subject: Print a note to the user that tags need to be pushed. --- mkdist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mkdist.sh') diff --git a/mkdist.sh b/mkdist.sh index bd6d957..664dff6 100755 --- a/mkdist.sh +++ b/mkdist.sh @@ -144,5 +144,5 @@ open /tmp echo echo "***********************************************************************" -echo "Don't forget to push GIT repo to origin!" +echo "Don't forget to push GIT repo (including tags!) to origin!" echo "***********************************************************************" -- cgit v1.2.3