Re: [PATCH 3/3] docs: submitting-patches: clarify that signers may use their discretion on tags

[Miguel Ojeda <miguel.ojeda.sandonis@gmail.com>]

On Sun, Jan 12, 2025 at 4:47 PM Neal Gompa <neal@gompa.dev> 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