[Users] minutes for 2016-08-22

[Roland Haas]

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
Url : http://lists.einsteintoolkit.org/pipermail/users/attachments/20160822/c0fb3365/attachment.bin