"git-fetch --tags $URL" should not overwrite existing tags