From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 15 Feb 2007 10:46:25 GMT
Subject: Re: [PATCH] remotes.not-origin.tagopt
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:

> 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