On Tue, Jun 23, 2015 at 10:21:50AM -0500, Jason L Tibbitts III wrote:
"RC" == Remi Collet Fedora@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