On Tue, Jun 23, 2015 at 11:21 AM, Jason L Tibbitts III
<tibbs(a)math.uh.edu> 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.
'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.