On Tue, Jun 23, 2015 at 11:21 AM, Jason L Tibbitts III tibbs@math.uh.edu 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.
'Should not do' does not mean 'will not do'. I've in fact done it when accidentally publishing a corrupted tag for what was an internal, hyppy-only release candidate.
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.
Ghods, yes, pine and uw-imapd did this as a matter of standard practice.