Web lists-archives.com

Re: changing git tags on the remote repo




Hello,

On Sun 12 Aug 2018 at 02:32pm GMT, Jeremy Stanley wrote:

> And probably the biggest reason _why_ you don't want to do this is
> that tag deletion/replacement doesn't propagate via pull or remote
> update.

Yes.  Propagating updated tags is surprisingly confusing.  Try to avoid
it!

-- 
Sean Whitton

Attachment: signature.asc
Description: PGP signature