Re: help with git
On Thu, 21 Jul 2011 at 19:16:50 +0200, Julien Valroff wrote:
> When running this type of config, how do you avoid pushing the upstream
> tags to the debian repository?
To push individual tags, use "git push origin 1.2-3" or something, instead
of "git push --tags".
To get rid of the upstream tags from your local copy, "git tag -d"; to stop
them coming back when you fetch, put in .git/config:
tagopts = --no-tags
(or add the remote with "git remote add --no-tags ..." if you didn't already