Re: git push tags
- From
- Angelo Borsotti <angelo.borsotti@gmail.com>
- Date
- Oct 29, 2012, 11:31 UTC
- Message-ID
- <CAB9Jk9CLXgHiLz6P8EeO2NyfzHWZ=x3Kkj7+eZ2_Sby19eE0Ag@mail.gmail.com>
- In-Reply-To
- <CAM9Z-nkf84cV2bYp=NL8an5DjvwP+jL7icb+jwizjHeaq40VhA@mail.gmail.com>
Hi Drew,
sure. That is a good starting point. I would suggest to block tag updates of existing tags if a dedicated option is present in the config of the remote repo, like, e.g. pushOverwriteTags.
-Angelo