WinGit: Do not create a release tag if it already exists
commit442cc3977b54ce7660fc5edb477f13edf2326e51
authorSebastian Schuberth <sschuberth@gmail.com>
Tue, 10 Apr 2012 20:25:59 +0000 (10 22:25 +0200)
committerJohannes Schindelin <johannes.schindelin@gmx.de>
Tue, 10 Apr 2012 21:13:54 +0000 (10 16:13 -0500)
tree2e3eb2e68476b7e4992c41b1a0a63eb2152019d0
parenta092f989d2fc9faf69366aa8b1bdc9d47801607a
WinGit: Do not create a release tag if it already exists

Also, if a tag is reused or created, show its name.

Signed-off-by: Sebastian Schuberth <sschuberth@gmail.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
share/WinGit/release.sh