From: Angelo Borsotti Date: Mon, 29 Oct 2012 11:31:49 GMT Subject: Re: git push tags Message-ID: In-Reply-To: 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