Hello all, > Tags also cannot be moved; that is the point - they always point to > the same version. I agree, they *shouldn't* be moved and are not designed to be. You can however delete and re-create them, which would be sufficient for our purpose since all we want is a single name that can move along with the releases.
Yours, Roland -- My email is as private as my paper mail. I therefore support encrypting and signing email messages. Get my PGP key from http://keys.gnupg.net.
pgpNN5UP64iYx.pgp
Description: OpenPGP digital signature
_______________________________________________ Users mailing list Users@einsteintoolkit.org http://lists.einsteintoolkit.org/mailman/listinfo/users
