Re: git push tags
- From
- Angelo Borsotti <angelo.borsotti@gmail.com>
- Date
- Oct 29, 2012, 13:24 UTC
- 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