<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Thanks for the tips Barry!</font><br>
</p>
<div class="moz-cite-prefix">Le 06/06/2024 à 13:11, Barry Perryman
via Cuis-dev a écrit :<br>
</div>
<blockquote type="cite"
cite="mid:8D508602-8005-4E7C-8143-FF29B4F22E78@gmail.com">
<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/"
moz-do-not-send="true" class="moz-txt-link-freetext">https://www.geeksforgeeks.org/how-to-delete-a-remote-tag-in-git/</a></div>
<div><br>
</div>
<div>Regards</div>
<div>Barry</div>
</blockquote>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://gnu.org/s/dr-geo/">http://gnu.org/s/dr-geo/</a>
<a class="moz-txt-link-freetext" href="http://gnu-drgeo.blogspot.com/">http://gnu-drgeo.blogspot.com/</a></pre>
</body>
</html>