Re: stable-8.0.1 re-tagging?

[Michael Tokarev]

30.05.2023 11:28, Olaf Hering wrote:
> Tue, 30 May 2023 11:15:31 +0300 Michael Tokarev <mjt@tls.msk.ru>:
>
> > I'm for creating new v8.0.1 tag for the new commit.  But I'd like to
> > hear opinions of others on this matter, since this is an important
> > process which definitely should be public.
>
> The man page of git-tag is very clear on this topic IMO. Go for v8.0.2.

That's actually a very good one Olaf.  The git-tag manpage has a very good
explanation. It was my quiet gut feeling too, but a (non-existing) opportunity
to "just fix it all automagically" was tempting :)

Yeah, it's better to go with 8.0.2 here.

Thanks,

/mjt