Re: git: 1dcd111bf980 - Create tag verndor/bc/6.0.2

Am 06.02.23 um 23:11 schrieb John Baldwin:
> On 2/6/23 1:30 PM, Stefan Eßer wrote:
>> The annotated tag verndor/bc/6.0.2 has been created by se:
>>
>> URL: https://cgit.FreeBSD.org/src/tag/?h=verndor/bc/6.0.2
>>
>> tag verndor/bc/6.0.2
>> Tagger:     Stefan Eßer <se@FreeBSD.org>
>> TaggerDate: 2022-08-30 18:43:57 +0000
> 
> s/verndor/vendor/?  I think you can probably push the correct tag and
> remove the old one?  Not sure if mirrors will pick up the removal
> though.

Thanks for pointing this out!

I have re-tagged that commit with the correct tag and locally
removed the wrong tag. It seems that I cannot push the removal
of the tag to the repository, though.

Could the wrong tag on mirrors cause issues (other than confusion
of users that list the tags)?

Regards, STefan