30.05.2023 11:28, Olaf Hering wrote:
Tue, 30 May 2023 11:15:31 +0300 Michael Tokarev <m...@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
