Re: [PATCH] remotes.not-origin.tagopt

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Feb 15, 2007, 10:46 UTC
Message-ID: <Pine.LNX.4.63.0702151055591.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <7vfy97g3d8.fsf@assigned-by-dhcp.cox.net>

Hi,

On Thu, 15 Feb 2007, Junio C Hamano wrote:

Show 6 quoted lines

> With a configuration entry like this:
> 
> 	[remote "alt-git"]
>         	url = git://repo.or.cz/alt.git/git/
>                 fetch = +refs/heads/*:refs/remotes/alt-git/*
>                 tagopt = --no-tags

How about going the full nine yards, and call it "fetchopt"? Then we would not check for the tag options, but instead parse $fetchopt _after_ "$@" in git-fetch.

Ciao, Dscho