From: Angelo Borsotti <angelo.borsotti@gmail.com>
Date: Mon, 29 Oct 2012 13:24:55 GMT
Subject: Re: git push tags
Message-ID: <CAB9Jk9Ao=T=j=vkiZ-YxQZom353sj42DXEttKfFnwu5x90pWLA@mail.gmail.com>
In-Reply-To: <20121029113500.GA15597@sigill.intra.peff.net>

Jeff,

> Then on top of that we can talk about what lightweight tags should do.
> I'm not sure.

If tags (even the lightweight ones) do not behave differently from
branches, then they are of no use, and the main difference is that
they do not move. So, I would suggest not to move them either.

-Angelo