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 <[email protected]>
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
