diff options
| author | Christian Starkjohann <cs+github@obdev.at> | 2012-01-09 00:43:28 +0100 |
|---|---|---|
| committer | Christian Starkjohann <cs+github@obdev.at> | 2012-01-09 00:43:28 +0100 |
| commit | 8b25d5c685dbbf4e94c78213f3ba4577d2d6a3c6 (patch) | |
| tree | 564e9e5dc6143d250580bcc1d1a3bf00325af204 | |
| parent | b716461d83a233ba01c6703ab77718e78f1389e5 (diff) | |
| download | v-usb-8b25d5c685dbbf4e94c78213f3ba4577d2d6a3c6.tar.gz v-usb-8b25d5c685dbbf4e94c78213f3ba4577d2d6a3c6.tar.bz2 v-usb-8b25d5c685dbbf4e94c78213f3ba4577d2d6a3c6.zip | |
Print a note to the user that tags need to be pushed.
| -rwxr-xr-x | mkdist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 "***********************************************************************" |