On Tue, Jun 23, 2015 at 10:21:50AM -0500, Jason L Tibbitts III wrote:
>>>>> "RC" == Remi Collet
<Fedora(a)FamilleCollet.com> writes:
RC> AFAIK, this is NOT immutable (upstream can delete/update tag) so not
RC> valid.
It's true that with raw git at least, upstream can delete or move the
tag, but this is one of those operations you really should not do with
git (because it screws everyone who might have pulled your repo) and for
all I know github may disallow it.
It does not, you can easily remove a tag in github.
All it takes is git tag -d followed by a git push -f
The incidence of github upstreams moving tags is probably less than
regular upstreams modifying tarballs and keeping the same name. Our
system already handles this kind of thing, and I don't see it is a
problem.
In which case we're ending up with no way of knowing which version of 0.0.1 we
built since upstream may tag it multiple times (and people do!).
P.Yves