..

distrib/core/HOWTO

@@ -35,8 +35,8 @@ rm $A
 cd /G/f2
 kcom # This is release ...
 kush
-# delete erroneous tag: git tag -d $A; git push origin :refs/tags/$A
-k tag v$V
+k tag v$V # Yes! Our IT wants version tags to start with "v".
+# to delete erroneous tag: git tag -d $X; git push origin :refs/tags/$X
 kush --tags
 
 ### upload tgz