[Cuis-dev] Upcoming 7.0 release. Please review / test your favorite packages!

[Hilaire Fernandes]

Thanks for the tips Barry!

Le 06/06/2024 à 13:11, Barry Perryman via Cuis-dev a écrit :
> 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, 
> https://www.geeksforgeeks.org/how-to-delete-a-remote-tag-in-git/
>
> Regards
> Barry

-- 
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cuis.st/mailman/archives/cuis-dev/attachments/20240606/856ccd94/attachment.htm>