<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Hi Hilaire,<div><div><br><blockquote type="cite"><div>On 6 Jun 2024, at 09:34, Hilaire Fernandes via Cuis-dev <cuis-dev@lists.cuis.st> wrote:</div><div><div text="#000000" bgcolor="#FFFFFF"><p><span style="font-size: large;">In the process I added a new tag Cuis7.0a with
appropriate note to explain this new tag. It is not possible to
delete remote tag.</span></p></div></div></blockquote></div><font color="#000000">It should be possible to delete a remote tag - I’m pretty sure only only had to do it rarely so I’ve had to look it up but this seems like a reasonable guide, </font><a href="https://www.geeksforgeeks.org/how-to-delete-a-remote-tag-in-git/">https://www.geeksforgeeks.org/how-to-delete-a-remote-tag-in-git/</a></div><div><br></div><div>Regards</div><div>Barry</div></body></html>