On Sun, Jan 12, 2025 at 4:47 PM Neal Gompa <neal@xxxxxxxxx> wrote: > > A tag must not be dropped without the tag submitter's authorization. Tags get routinely dropped, as the commit message explains. So we cannot say "must not", sorry. Even if that were not the case, tags are currently added/decided by signers, not tag providers. This patch is trying to document how it works today. I understand it may feel bad to not have a tag applied, but it is something normal in the current process. Tags are publicly archived nevertheless, so e.g. one can still prove work to others. I don't think misunderstandings about development processes mean people is "rude": it may feel bad, but that does not mean others are "rude" necessarily, unless they were rude in their manners or something like that, which is not what is being discussed here. Thanks for the quick review! Cheers, Miguel